Blog (Tag Mathe)

2016

• When to reroll a six

2015

• Incredible Proof Machine put to the test
• The Incredible Proof Machine

2013

• Heidelberg Laureates Forum 2013

2012

• Somewhere in Israel, someone printed 50 copies

2011

• First (academic) publication
• Poetry in the problem class
• Linux-Magazin-Programmierwettbewerb
• A talk on Church’s result about the Entscheidungsproblem
• Vizing’s theorem proved using Event-B and Rodin
• The general triangle, formally
• A Mistake in Church’s Paper

2010

• Free Groups Formalized
• A mathematician’s status symbol
• Diploma Thesis Finished

2008

• FrakView: An Haskell Renderer for Iterated Function Systems

2007

• Hausdorff immer nüchtern, Kolmogoroff nur manchmal