Floating Point Verification [chapter]

John Harrison
1998 Theorem Proving with the Real Numbers  
doi:10.1007/978-1-4471-1591-5_7 fatcat:6owbmyxx6zevjju47bqj72pl3i