![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Information 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 - 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.