David J. Braun

MaRDI QIDQ620244zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Journal of Automated Reasoning	2024-04-29	Paper
Formalizing Some “Small” Finite Models of Projective Geometry in Coq Artificial Intelligence and Symbolic Computation	2023-06-30	Paper
Iterative Online Optimal Feedback Control IEEE Transactions on Automatic Control	2021-03-12	Paper
Two cryptomorphic formalizations of projective incidence geometry Annals of Mathematics and Artificial Intelligence	2019-05-16	Paper
Reinforcement learning for a class of continuous-time input constrained optimal control problems Automatica	2019-02-05	Paper
Empty Names Nôus	2017-07-14	Paper
Towards a certified version of the encyclopedia of triangle centers Mathematics in Computer Science	2016-06-16	Paper
Eliminating constraint drift in the numerical simulation of constrained dynamical systems Computer Methods in Applied Mechanics and Engineering	2012-01-11	Paper
On the optimal shape of compressed rotating rod with shear and extensibility International Journal of Non-Linear Mechanics	2011-01-19	Paper
The strongest rotating rod International Journal of Non-Linear Mechanics	2007-03-29	Paper
What is character? Journal of Philosophical Logic	1995-11-28	Paper

Research outcomes over time

This page was built for person: David J. Braun