Reasoning About the Reals: The Marriage of HOL and Maple.

John Harrison, Laurent Thry

Browse the full LPAR paper archive.