First Page | Document Content | |
---|---|---|
Date: 2015-07-08 16:57:04 | Affine Arithmetic and Applications to Real-Number Proving Mariano M. Moscato1 , C´esar A. Mu˜ noz2 , and Andrew P. Smith1 1Add to Reading ListSource URL: shemesh.larc.nasa.govDownload Document from Source WebsiteFile Size: 434,88 KBShare Document on Facebook |