-
1
-
-
77955911632
-
-
Birkhäuser Boston
-
J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé, and S. Torres, Handbook of Floating-Point Arithmetic. Birkhäuser Boston, 2009.
-
(2009)
Handbook of Floating-Point Arithmetic
-
-
Muller, J.-M.1
Brisebarre, N.2
De Dinechin, F.3
Jeannerod, C.-P.4
Lefèvre, V.5
Melquiond, G.6
Revol, N.7
Stehlé, D.8
Torres, S.9
-
2
-
-
78650981038
-
-
IEEE Standard for Floating-Point Arithmetic, IEEE Standard 754, IEEE CS 2008
-
IEEE Standard for Floating-Point Arithmetic, IEEE Standard 754, IEEE CS, 2008.
-
-
-
-
3
-
-
0026122066
-
What every computer scientist should know about floating-point arithmetic
-
Mar.
-
D. Goldberg, "What Every Computer Scientist Should Know About Floating-Point Arithmetic," ACM Computing Surveys, vol. 23, no. 1, pp. 5-47, Mar. 1991.
-
(1991)
ACM Computing Surveys
, vol.23
, Issue.1
, pp. 5-47
-
-
Goldberg, D.1
-
5
-
-
0026215859
-
Fast evaluation of elementary mathematical functions with correctly rounded last bit
-
Sept.
-
A. Ziv, "Fast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last Bit," ACM Trans. Math. Software, vol. 17, no. 3, pp. 410-423, Sept. 1991.
-
(1991)
ACM Trans. Math. Software
, vol.17
, Issue.3
, pp. 410-423
-
-
Ziv, A.1
-
6
-
-
27944494862
-
Towards the post- ultimate libm
-
June
-
F. de Dinechin, A. Ershov, and N. Gast, "Towards the Post- Ultimate libm," Proc. 17th IEEE Symp. Computer Arithmetic, pp. 288-295, June 2005.
-
(2005)
Proc. 17th IEEE Symp. Computer Arithmetic
, pp. 288-295
-
-
De Dinechin, F.1
Ershov, A.2
Gast, N.3
-
7
-
-
34848910510
-
Fast and correctly rounded logarithms in double-precision
-
F. de Dinechin, C.Q. Lauter, and J.-M. Muller, "Fast and Correctly Rounded Logarithms in Double-Precision," Theoretical Informatics and Applications, vol. 41, pp. 85-102, 2007.
-
(2007)
Theoretical Informatics and Applications
, vol.41
, pp. 85-102
-
-
De Dinechin, F.1
Lauter, C.Q.2
Muller, J.-M.3
-
10
-
-
0000810983
-
A floating point technique for extending the available precision
-
T.J. Dekker, "A Floating Point Technique for Extending the Available Precision," Numerische Mathematik, vol. 18, no. 3, pp. 224-242, 1971.
-
(1971)
Numerische Mathematik
, vol.18
, Issue.3
, pp. 224-242
-
-
Dekker, T.J.1
-
12
-
-
84949525085
-
A generic library of floating-point numbers and its application to exact computing
-
M. Daumas, L. Rideau, and L. Théry, "A Generic Library of Floating-Point Numbers and Its Application to Exact Computing," Proc. 14th Int'l Conf. Theorem Proving in Higher Order Logics (TPHOLs '01), pp. 169-184, 2001.
-
(2001)
Proc. 14th Int'l Conf. Theorem Proving in Higher Order Logics (TPHOLs '01)
, pp. 169-184
-
-
Daumas, M.1
Rideau, L.2
Théry, L.3
-
13
-
-
84988937485
-
Computing elementary functions: A new approach for achieving high accuracy and good performance
-
Springer
-
S. Gal, "Computing Elementary Functions: A New Approach for Achieving High Accuracy and Good Performance," Accurate Scientific Computations, pp. 1-16, Springer, 1986.
-
(1986)
Accurate Scientific Computations
, pp. 1-16
-
-
Gal, S.1
-
14
-
-
0026171455
-
Table lookup algorithms for elementary functions and their error analysis
-
June
-
P.T.P. Tang, "Table Lookup Algorithms for Elementary Functions and Their Error Analysis," Proc. 10th IEEE Symp. Computer Arithmetic, June 1991.
-
(1991)
Proc. 10th IEEE Symp. Computer Arithmetic
-
-
Tang, P.T.P.1
-
15
-
-
0032678601
-
New algorithms for improved transcendental functions on IA-64
-
Apr.
-
S. Story and P. Tang, "New Algorithms for Improved Transcendental Functions on IA-64," Proc. 14th IEEE Symp. Computer Arithmetic, pp. 4-11, Apr. 1999.
-
(1999)
Proc. 14th IEEE Symp. Computer Arithmetic
, pp. 4-11
-
-
Story, S.1
Tang, P.2
-
16
-
-
1842514915
-
-
technical report, Hewlett-Packard Company Apr.
-
R.-C. Li, P. Markstein, J.P. Okada, and J.W. Thomas, "The Libm Library and Floating-Point Arithmetic for HP-UX on Itanium," technical report, Hewlett-Packard Company, Apr. 2001.
-
(2001)
The Libm Library and Floating-Point Arithmetic for HP-UX on Itanium
-
-
Li, R.-C.1
Markstein, P.2
Okada, J.P.3
Thomas, J.W.4
-
18
-
-
0030653280
-
Fast table-driven algorithms for interval elementary functions
-
D. Priest, "Fast Table-Driven Algorithms for Interval Elementary Functions," Proc. 13th IEEE Symp. Computer Arithmetic, pp. 168-174, 1997.
-
(1997)
Proc. 13th IEEE Symp. Computer Arithmetic
, pp. 168-174
-
-
Priest, D.1
-
20
-
-
70350749454
-
Certified and fast supremum norms of approximation errors
-
S. Chevillard, C. Lauter, and M. Joldeş, "Certified and Fast Supremum Norms of Approximation Errors," Proc. 19th IEEE Symp. Computer Arithmetic, pp. 169-176, 2009.
-
(2009)
Proc. 19th IEEE Symp. Computer Arithmetic
, pp. 169-176
-
-
Chevillard, S.1
Lauter, C.2
Joldeş, M.3
-
21
-
-
77956278834
-
-
Technical Report RR 2010-2, LIP, CNRS/ENS Lyon/ INRIA/Université de Lyon, INRIA, LORIA, CACAO Project and Intel Corporation, Jan.
-
S. Chevillard, J. Harrison, M. Joldeş, and C. Lauter, "Efficient and Accurate Computation of Upper Bounds of Approximation Errors," Technical Report RR 2010-2, LIP, CNRS/ENS Lyon/ INRIA/Université de Lyon, INRIA, LORIA, CACAO Project and Intel Corporation, Jan. 2010.
-
(2010)
Efficient and Accurate Computation of Upper Bounds of Approximation Errors
-
-
Chevillard, S.1
Harrison, J.2
Joldeş, M.3
Lauter, C.4
-
23
-
-
78650972344
-
Software techniques for perfect elementary functions in floating-point interval arithmetic
-
July
-
F. de Dinechin and S. Maidanov, "Software Techniques for Perfect Elementary Functions in Floating-Point Interval Arithmetic," Proc. Seventh Conf. Real Numbers and Computers, July 2006.
-
(2006)
Proc. Seventh Conf. Real Numbers and Computers
-
-
De Dinechin, F.1
Maidanov, S.2
-
24
-
-
0038343516
-
Formal verification of square root algorithms
-
J. Harrison, "Formal Verification of Square Root Algorithms," Formal Methods in Systems Design, vol. 22, pp. 143-153, 2003.
-
(2003)
Formal Methods in Systems Design
, vol.22
, pp. 143-153
-
-
Harrison, J.1
-
25
-
-
0042397792
-
-
Technical Report 98/7, Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universitä t Karlsruhe
-
W. Hofschuster and W. Krämer, "FI-LIB, eine Schnelle und Portable Funktionsbibliothek für Reelle Argumente und Reelle Intervalle im IEEE-Double-Format," Technical Report 98/7, Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universitä t Karlsruhe, 1998.
-
(1998)
FI-LIB eine Schnelle und Portable Funktionsbibliothek für Reelle Argumente und Reelle Intervalle im IEEE-Double-Format
-
-
Hofschuster, W.1
Krämer, W.2
-
26
-
-
33746039708
-
FILIB++, a fast interval library supporting containment computations
-
M. Lerch, G. Tischler, J.W. von Gudenberg, W. Hofschuster, and W. Krämer, "FILIB++, a Fast Interval Library Supporting Containment Computations," Trans. Math. Software, vol. 32, no. 2, pp. 299-324, 2006.
-
(2006)
Trans. Math. Software
, vol.32
, Issue.2
, pp. 299-324
-
-
Lerch, M.1
Tischler, G.2
Von Gudenberg, J.W.3
Hofschuster, W.4
Krämer, W.5
-
28
-
-
34848830926
-
Formally certified floating-point filters for homogeneous geometric predicates
-
G. Melquiond and S. Pion, "Formally Certified Floating-Point Filters for Homogeneous Geometric Predicates," Theoretical Informatics and Applications, vol. 41, no. 1, pp. 57-70, 2007.
-
(2007)
Theoretical Informatics and Applications
, vol.41
, Issue.1
, pp. 57-70
-
-
Melquiond, G.1
Pion, S.2
-
31
-
-
27944445485
-
Guaranteed proofs using interval arithmetic
-
M. Daumas, G. Melquiond, and C. Munoz, "Guaranteed Proofs Using Interval Arithmetic," Proc. 17th IEEE Symp. Computer Arithmetic, pp. 188-195, 2005.
-
(2005)
Proc. 17th IEEE Symp. Computer Arithmetic
, pp. 188-195
-
-
Daumas, M.1
Melquiond, G.2
Munoz, C.3
-
32
-
-
84944677742
-
PVS: A prototype verification system
-
S. Owre, J.M. Rushby, and N. Shankar, "PVS: A Prototype Verification System," Proc. 11th Int'l Conf. Automated Deduction, pp. 748-752, 1992.
-
(1992)
Proc. 11th Int'l Conf. Automated Deduction
, pp. 748-752
-
-
Owre, S.1
Rushby, J.M.2
Shankar, N.3
-
34
-
-
33751060213
-
-
Technical Report RR2005- 43, Laboratoire de l'Informatique du Parallélisme (LIP), INRIA, Sept.
-
F. de Dinechin, C.Q. Lauter, and G. Melquiond, "Assisted Verification of Elementary Functions," Technical Report RR2005- 43, Laboratoire de l'Informatique du Parallélisme (LIP), INRIA, Sept. 2005.
-
(2005)
Assisted Verification of Elementary Functions
-
-
De Dinechin, F.1
Lauter, C.Q.2
Melquiond, G.3
|