L
ars
N
oschinski
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