TY  - RPRT
TI  - Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
AU  - Alexey Solovyev
AU  - Thomas C. Hales
PY  - 2013
DO  - 10.1007/978-3-642-38088-4_26
UR  - https://arxiv.org/abs/1301.1702
ID  - 1301.1702
ER  -