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.
Steve Huntsman
- 15.4k
- 7
- 75
- 130