## 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: | 34 - 3 self |