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

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