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

Cached

Download Links

by Sean Mclaughlin , John Harrison
Venue:Automated deduction – CADE-20. 20th international conference on automated deduction
Citations:24 - 3 self