## 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