Theorem Proving with the Real Numbers (1996)

View PDF

Download Links

by John Robert Harrison
Citations:112 - 13 self