38 citations · 38 across the 1 of their papers we have counts for
1 paper
Alexey Solovyev, Thomas C. Hales
We present a formal tool for verification of multivariate nonlinear inequalities. Our verification method is based on interval arithmetic with Taylor approximations. Our tool is im…