The following pages link to David J. Braun (Q620244):
Displayed 12 items.
- Item:Q620244 (redirect page) (← links)
- Towards a certified version of the encyclopedia of triangle centers (Q294378) (← links)
- On the optimal shape of compressed rotating rod with shear and extensibility (Q620245) (← links)
- Eliminating constraint drift in the numerical simulation of constrained dynamical systems (Q658303) (← links)
- Item:Q620244 (redirect page) (← links)
- The strongest rotating rod (Q873528) (← links)
- Reinforcement learning for a class of continuous-time input constrained optimal control problems (Q1716659) (← links)
- What is character? (Q1896780) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- Empty Names (Q5275642) (← links)
- Iterative Online Optimal Feedback Control (Q5854037) (← links)
- Formalizing Some “Small” Finite Models of Projective Geometry in Coq (Q6108812) (← links)