David Braun

Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach pdf

Pascal Schreck, Nicolas Magaud, David Braun, 2021, Electronic Proceedings in Theoretical Computer Science.

Two New Ways to Formally Prove Dandelin-Gallucci's Theorem

Pascal Schreck, Nicolas Magaud, David Braun, 2021, ISSAC.