Valency Hub
alphaFeedback
PDF

WorksMathematics

Smale's sixth problem for five bodies in the plane, with a proof formalized in Lean

Tejasvi Singh Tomar

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
CC BY 4.0
Status
Published
AI contributions
  • Generative AI tools
View details
Ancillary data
1 data link
View
Machine checks

No machine checks are available from the Hub API for this paper.