default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 216
Volume 216, July 2012
- Marc Daumas
, Javier D. Bruguera:
8th Conference on Real Numbers and Computers. 1-2
- Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi:
A robust algorithm for geometric predicate by error-free determinant transformation. 3-13 - Guillaume Melquiond:
Floating-point arithmetic in the Coq system. 14-23 - Sebti Foufou, Dominique Michelucci:
Interrogating witnesses for geometric constraint solving. 24-38 - David R. Lester:
The world's shortest correct exact real arithmetic program? 39-46 - Sonia González-Navarro, Javier Hormigo, Michael J. Schulte:
A study of decimal left shifters for binary numbers. 47-56 - Stef Graillat, Valérie Ménissier-Morain:
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic. 57-71 - Sylvain Chevillard:
The functions erf and erfc computed with arbitrary precision and explicit error bounds. 72-95
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-12 23:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
