10 citations · 12 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.OC2022
On the Reinhardt Conjecture and Formal Foundations of Optimal Control
Koundinya Vajjha
We describe a reformulation (following Hales (2017)) of a 1934 conjecture of Reinhardt on pessimal packings of convex domains in the plane as a problem in optimal control theory. S…
cs.LO2022★ 1 cited
Formalization of a Stochastic Approximation Theorem
Koundinya Vajjha, Barry Trager, Avraham Shinnar +1
Stochastic approximation algorithms are iterative procedures which are used to approximate a target value in an environment where the target is unknown and direct observations are…