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

  [1]: https://en.wikipedia.org/wiki/Interval_arithmetic