Automatic Controlled Precision Calculations
Journal of the ACM (JACM)
Analysis in the Computable Number Field
Journal of the ACM (JACM)
Automatic error analysis for determining precision
Communications of the ACM
Divide-and-correct methods for multiple precision division
Communications of the ACM
Communications of the ACM
Optimizing programs over the constructive reals
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A Fortran Multiple-Precision Arithmetic Package
ACM Transactions on Mathematical Software (TOMS)
RealLib: An efficient implementation of exact real arithmetic
Mathematical Structures in Computer Science
Precise Scientific Computation with a Microprocessor
IEEE Transactions on Computers
| Hi-index | 48.22 |
A description is given of a program for computing the solution to a small number of standard numerical analysis problems to any specified accuracy, up to a limit of 2000 correct decimal places. Each computed number is bounded in an interval with a multiple precision midpoint. Arithmetic operations involving these numbers are executed according to interval arithmetic concepts, with non-significant digits automatically discarded. Details are supplied of problem specification and problem computation.