Johannes Ueberberg

• Foundations of Incidence Geometry
• Bögen, Blockaden, und Baer-Unterräume in endlichen projektiven Räumen
• Interactive theorem proving in symbolic incidence geometry