How to read floating point numbers accurately
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
How to print floating-point numbers accurately
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic
ACM Transactions on Mathematical Software (TOMS)
Fast evaluation of elementary mathematical functions with correctly rounded last bit
ACM Transactions on Mathematical Software (TOMS)
The Mathematica book (3rd ed.)
The Mathematica book (3rd ed.)
Multiprecision floating point addition
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
A Fortran Multiple-Precision Arithmetic Package
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Mathematical Software (TOMS)
Towards the Post-Ultimate libm
ARITH '05 Proceedings of the 17th IEEE Symposium on Computer Arithmetic
Elementary Functions: Algorithms and Implementation
Elementary Functions: Algorithms and Implementation
EUROCRYPT'05 Proceedings of the 24th annual international conference on Theory and Applications of Cryptographic Techniques
Time-and space-efficient evaluation of some hypergeometric constants
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
WALCOM '09 Proceedings of the 3rd International Workshop on Algorithms and Computation
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
Numerical Validation in Current Hardware Architectures
The self-validated method for polynomial zeros of high efficiency
Journal of Computational and Applied Mathematics
Towards program optimization through automated analysis of numerical precision
Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization
Estimation-based metaheuristics for the probabilistic traveling salesman problem
Computers and Operations Research
Log' version vector: Logging version vectors concisely in dynamic replication
Information Processing Letters
Proceedings of the 24th ACM International Conference on Supercomputing
NumGfun: a package for numerical and analytic computation with D-finite functions
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
LEMA: towards a language for reliable arithmetic
ACM Communications in Computer Algebra
Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores
Asilomar'09 Proceedings of the 43rd Asilomar conference on Signals, systems and computers
Reliable computing with GNU MPFR
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
The design of core 2: a library for exact numeric computation in geometry and algebra
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Mathemagix: towards large scale programming for symbolic and certified numeric computations
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations
ACM Transactions on Mathematical Software (TOMS)
Algorithm 911: Multiple-Precision Exponential Integral and Related Functions
ACM Transactions on Mathematical Software (TOMS)
The Krawczyk algorithm: rigorous bounds for linear equation solution on an FPGA
ARC'11 Proceedings of the 7th international conference on Reconfigurable computing: architectures, tools and applications
Using the inhomogeneous simultaneous approximation problem for cryptographic design
AFRICACRYPT'11 Proceedings of the 4th international conference on Progress in cryptology in Africa
New higher-order methods for the simultaneous inclusion of polynomial zeros
Numerical Algorithms
FPGA implementation of variable-precision floating-point arithmetic
APPT'11 Proceedings of the 9th international conference on Advanced parallel processing technologies
Fast and robust generation of city-scale seamless 3D urban models
Computer-Aided Design
Journal of Computational and Applied Mathematics
A Second-Order Strong Method for the Langevin Equations with Holonomic Constraints
SIAM Journal on Scientific Computing
Towards the profiling of scientific software for accuracy
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
A mixed precision Monte Carlo methodology for reconfigurable accelerator systems
Proceedings of the ACM/SIGDA international symposium on Field Programmable Gate Arrays
Formal study of plane delaunay triangulation
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Original article: Computational complexity of iterated maps on the interval
Mathematics and Computers in Simulation
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
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
Information and Computation
Multi-level customisation framework for curve based monte carlo financial simulations
ARC'12 Proceedings of the 8th international conference on Reconfigurable Computing: architectures, tools and applications
Controlled linear perturbation
Computer-Aided Design
Algorithm 921: alphaCertified: Certifying Solutions to Polynomial Systems
ACM Transactions on Mathematical Software (TOMS)
City-scale urban transport and dispersion simulation using geographic information system footprints
Proceedings of the 3rd International Conference on Computing for Geospatial Research and Applications
Arbitrary precision complex interval computations in C-XSC
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
Analysing the efficiency of some modifications of the secant method
Computers & Mathematics with Applications
Journal of Computational and Applied Mathematics
Algorithm 924: TIDES, a Taylor Series Integrator for Differential EquationS
ACM Transactions on Mathematical Software (TOMS)
Maximum edge-cuts in cubic graphs with large girth and in random cubic graphs
Random Structures & Algorithms
Accurate solution of dense linear systems, part I: Algorithms in rounding to nearest
Journal of Computational and Applied Mathematics
Estimation and modeling of actual numerical errors in volume rendering
EuroVis'10 Proceedings of the 12th Eurographics / IEEE - VGTC conference on Visualization
On the complexity of multivariate blockwise polynomial multiplication
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Interfacing mathemagix with C++
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
The Journal of Supercomputing
VLIW coprocessor for IEEE-754 quadruple-precision elementary functions
ACM Transactions on Architecture and Code Optimization (TACO)
On the local convergence of a family of two-step iterative methods for solving nonlinear equations
Journal of Computational and Applied Mathematics
Technical note: Robust cascading of operations on polyhedra
Computer-Aided Design
An efficient fifth order method for solving systems of nonlinear equations
Computers & Mathematics with Applications
Arb: a C library for ball arithmetic
ACM Communications in Computer Algebra
Efficient Jarratt-like methods for solving systems of nonlinear equations
Calcolo: a quarterly on numerical analysis and theory of computation
| Hi-index | 0.00 |
This article presents a multiple-precision binary floating-point library, written in the ISO C language, and based on the GNU MP library. Its particularity is to extend to arbitrary-precision, ideas from the IEEE 754 standard, by providing correct rounding and exceptions. We demonstrate how these strong semantics are achieved---with no significant slowdown with respect to other arbitrary-precision tools---and discuss a few applications where such a library can be useful.