An accurate elementary mathematical library for the IEEE floating point standard
ACM Transactions on Mathematical Software (TOMS)
Fast Multiple-Precision Evaluation of Elementary Functions
Journal of the ACM (JACM)
A Portable Extended Precision Arithmetic Package and Library with Fortran Precompiler
ACM Transactions on Mathematical Software (TOMS)
A Fortran Multiple-Precision Arithmetic Package
ACM Transactions on Mathematical Software (TOMS)
Algorithm 524: MP, A Fortran Multiple-Precision Arithmetic Package [A1]
ACM Transactions on Mathematical Software (TOMS)
The Need for an Industry Standard of Accuracy for Elementary-Function Programs
ACM Transactions on Mathematical Software (TOMS)
Computer Arithmetic in Theory and Practice
Computer Arithmetic in Theory and Practice
Computing Elementary Functions: A New Approach for Achieving High Accuracy and Good Performance
Proceedings of the Symposium on Accurate Scientific Computations
Rounding Errors in Algebraic Processes
Rounding Errors in Algebraic Processes
Toward Correctly Rounded Transcendentals
IEEE Transactions on Computers
Implementation of the Exponential Function in a Floating-Point Unit
Journal of VLSI Signal Processing Systems
Hardware Designs for Exactly Rounded Elementary Functions
IEEE Transactions on Computers
A Priori Worst Case Error Bounds for Floating-Point Computations
IEEE Transactions on Computers
JavaGrande - High Performance Computing with Java
PARA '00 Proceedings of the 5th International Workshop on Applied Parallel Computing, New Paradigms for HPC in Industry and Academia
Analysis and applications of Priest's distillation
ACM Transactions on Mathematical Software (TOMS)
Searching Worst Cases of a One-Variable Function Using Lattice Reduction
IEEE Transactions on Computers
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proceedings of the 2006 ACM symposium on Applied computing
Assisted verification of elementary functions using Gappa
Proceedings of the 2006 ACM symposium on Applied computing
MPFR: A multiple-precision binary floating-point library with correct rounding
ACM Transactions on Mathematical Software (TOMS)
Standardization and testing of implementations of mathematical functions in floating point numbers
Programming and Computing Software
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format
Reliable Implementation of Real Number Algorithms: Theory and Practice
WALCOM '09 Proceedings of the 3rd International Workshop on Algorithms and Computation
Computing correctly rounded integer powers in floating-point arithmetic
ACM Transactions on Mathematical Software (TOMS)
The functions erf and erfc computed with arbitrary precision and explicit error bounds
Information and Computation
Floating-point arithmetic in the Coq system
Information and Computation
Rigorous polynomial approximation using taylor models in Coq
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Floating-Point Exponentiation Units for Reconfigurable Computing
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
ACM Transactions on Mathematical Software (TOMS)
Hi-index | 0.01 |