Reasoning About the Reals: the marriage of HOL and Maple (1993)

Cached

Download Links

by John Harrison
Citations:10 - 0 self