A proof-producing decision procedure for real arithmetic (2005)
Cached
Download Links
- [www.cl.cam.ac.uk]
- [apache2.risc.uni-linz.ac.at]
- DBLP
Other Repositories/Bibliography
by
Sean Mclaughlin
,
John Harrison
| Venue: | Automated deduction – CADE-20. 20th international conference on automated deduction |
| Citations: | 22 - 3 self |
Document Versions
| A proof-producing decision procedure for real arithmetic –Sean Mclaughlin, John Harrison — 2005 — Automated deduction – CADE-20. 20th international conference on automated deduction |
| A proof-producing decision procedure for real arithmetic –Sean Mclaughlin, John Harrison — 2005 — Automated deduction – CADE-20. 20th international conference on automated deduction |
