The C++ programming language
Reliability in computing: the role of interval methods in scientific computing
Reliability in computing: the role of interval methods in scientific computing
Reliable expression evaluation in PASCAL-SC
Reliability in computing: the role of interval methods in scientific computing
Algorithms for verified inclusions—theory and practice
Reliability in computing: the role of interval methods in scientific computing
Prospects for using variable precision interval software in C++ for solving some contemporary
Prospects for using variable precision interval software in C++ for solving some contemporary
Precise matrix eigenvalues using range arithmetic
SIAM Journal on Matrix Analysis and Applications
A Fortran Multiple-Precision Arithmetic Package
ACM Transactions on Mathematical Software (TOMS)
Communications of the ACM
The Art of Computer Programming, 2nd Ed. (Addison-Wesley Series in Computer Science and Information
The Art of Computer Programming, 2nd Ed. (Addison-Wesley Series in Computer Science and Information
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
A set of Ada packages for high-precision calculations
ACM Transactions on Mathematical Software (TOMS)
Computing radical expressions for roots of unity
ACM SIGSAM Bulletin
ESOLID---A System for Exact Boundary Evaluation
Proceedings of the seventh ACM symposium on Solid modeling and applications
RealLib: An efficient implementation of exact real arithmetic
Mathematical Structures in Computer Science
Hi-index | 0.00 |
An arithmetic is described that can replace floating-point arithmetic for programming tasks requiring assured accuracy. A general explanation is given of how the arithmetic is constructed with C++, and a programming example in this language is supplied. Times for solving representative problems are presented.