File:2009 02 Verified Real Number Calculations A Library for Interval Arithmetic Marc Daumas and David Lester and Cesar Munoz.pdf
2009_02_Verified_Real_Number_Calculations_A_Library_for_Interval_Arithmetic_Marc_Daumas_and_David_Lester_and_Cesar_Munoz.pdf (file size: 1.57 MB, MIME type: application/pdf)
Warning: This file type may contain malicious code. By executing it, your system may be compromised.
Downloaded on 2016_05_03 from
Click on a date/time to view the file as it appeared at that time.
|current||10:13, 3 June 2016||(1.57 MB)||Martin Vahi||Downloaded on 2016_05_03 from http://shemesh.larc.nasa.gov/people/cam/publications/TCSI-2007-07-0362-1.pdf|
- You cannot overwrite this file.