Theorem Proving with the Real Numbers (1996)

Cached

Download Links

by John Robert Harrison
Citations:86 - 10 self