Computer Interval Arithmetic: Definition and Proof of Correct Implementation
Journal of the ACM (JACM)
A Versatile Precompiler for Nonstandard Arithmetics
ACM Transactions on Mathematical Software (TOMS)
Algorithm 61: procedures for range arithmetic
Communications of the ACM
The use of an algebraic language as both a source and target language
ACM '68 Proceedings of the 1968 23rd ACM national conference
A unified decimal floating-point architecture for the support of high-level languages
ACM SIGNUM Newsletter
A generalized interval package and its use for semantic checking
ACM Transactions on Mathematical Software (TOMS)
High-accuracy arithmetic software—some tests of the ACRITH problem-solving routines
ACM Transactions on Mathematical Software (TOMS) - The MIT Press scientific computation series
Some tests of generalized bisection
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Mathematical Software (TOMS)
Algorithm 763: INTERVAL_ARITHMETIC: a Fortran 90 module for an interval data type
ACM Transactions on Mathematical Software (TOMS)
A Versatile Precompiler for Nonstandard Arithmetics
ACM Transactions on Mathematical Software (TOMS)
The AUGMENT precompiler as a tool for the development of special purpose arithmetic packages
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Software basics for computational mathematics
ACM SIGNUM Newsletter
The Use of Floating-Point and Interval Arithmetic in the Computation of Error Bounds
IEEE Transactions on Computers
Precise Scientific Computation with a Microprocessor
IEEE Transactions on Computers
| Hi-index | 0.01 |