Lars Noschinski

Homepages 🌐

• http://www21.in.tum.de/~noschinl/

Entries

2015

Planarity Certificates

by Lars Noschinski 🌐

Nov 11

Generating Cases from Labeled Subgoals

by Lars Noschinski 🌐

Jul 21

2013

Pratt's Primality Certificates

by Simon Wimmer 📧 and Lars Noschinski 🌐

Jul 22

Lehmer's Theorem

by Simon Wimmer 📧 and Lars Noschinski 🌐

Jul 22

Graph Theory

by Lars Noschinski 🌐

Apr 28

2012

A Probabilistic Proof of the Girth-Chromatic Number Theorem

by Lars Noschinski 🌐

Feb 06