David J. Braun

Available identifiers

Publication	Date of Publication	Type
Two new ways to formally prove Dandelin-Gallucci's theorem	2025-01-20	Paper
Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach	2024-12-17	Paper
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry	2024-04-29	Paper
Formalizing Some “Small” Finite Models of Projective Geometry in Coq	2023-06-30	Paper
Iterative Online Optimal Feedback Control	2021-03-12	Paper
Two cryptomorphic formalizations of projective incidence geometry	2019-05-16	Paper
Reinforcement learning for a class of continuous-time input constrained optimal control problems	2019-02-05	Paper
Empty Names	2017-07-14	Paper
Towards a certified version of the encyclopedia of triangle centers	2016-06-16	Paper
Eliminating constraint drift in the numerical simulation of constrained dynamical systems	2012-01-11	Paper
On the optimal shape of compressed rotating rod with shear and extensibility	2011-01-19	Paper
The strongest rotating rod	2007-03-29	Paper
What is character?	1995-11-28	Paper

This page was built for person: David J. Braun