collaborators

1 paper

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…