Back to Results
First PageMeta Content



Affine Arithmetic and Applications to Real-Number Proving Mariano M. Moscato1 , C´esar A. Mu˜ noz2 , and Andrew P. Smith1 1
Add to Reading List

Document Date: 2015-07-08 16:57:04


Open Document

File Size: 434,88 KB

Share Result on Facebook