Skip to main content
Post Made Community Wiki by Ben Webster
Source Link
Steve Huntsman
  • 15.4k
  • 7
  • 75
  • 130

Look at interval arithmetic. Warwick Tucker used this to prove Smale's fourteenth problem, which is a pretty good precedent for its use in a proof.