Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic Graillat, Stef
2012
216 C p. 57-71
15 p.
artikel
2 A robust algorithm for geometric predicate by error-free determinant transformation Ozaki, Katsuhisa
2012
216 C p. 3-13
11 p.
artikel
3 A study of decimal left shifters for binary numbers Gonzalez-Navarro, Sonia
2012
216 C p. 47-56
10 p.
artikel
4 Editorial Board 2012
216 C p. IFC-
1 p.
artikel
5 Editorial Board 2012
216 C p. i-
1 p.
artikel
6 Floating-point arithmetic in the Coq system Melquiond, Guillaume
2012
216 C p. 14-23
10 p.
artikel
7 Interrogating witnesses for geometric constraint solving Foufou, Sebti
2012
216 C p. 24-38
15 p.
artikel
8 8th Conference on Real Numbers and Computers Daumas, Marc
2012
216 C p. 1-2
2 p.
artikel
9 The functions erf and erfc computed with arbitrary precision and explicit error bounds Chevillard, S.
2012
216 C p. 72-95
24 p.
artikel
10 The worldʼs shortest correct exact real arithmetic program? Lester, David R.
2012
216 C p. 39-46
8 p.
artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland