A proof-producing decision procedure for real arithmetic (2005)

by S McLaughlin, J R Harrison
Venue:In CADE 2005