Multiple/arbitrary precision interval computations in C-XSC

DOI10.1007/s00607-011-0174-8zbMath1238.65042OpenAlexW2046496501MaRDI QIDQ411422

Walter Krämer

Publication date: 4 April 2012

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-011-0174-8

zbMATH Keywords

numerical examplesautomatic differentiationinterval computationsinterval Newton methodarbitrary precisionC-XSCMPFIMPFRmultiple precisionreliable computations

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Numerical computation of solutions to single equations (65H05) Numerical differentiation (65D25) Algorithms with automatic result verification (65G20) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (1)

Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming

Uses Software

• ACRITH-XSC
• C-XSC
• C-XSC 2.0
• gmp
• intpakX
• MPFI
• MPFR
• PNM
• Algorithm 693
• Algorithm 524

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The exact dot product as basic tool for long interval arithmetic
• Scientific computing with automatic result verification
• Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• Verification methods: Rigorous results using floating-point arithmetic
• Evaluating Derivatives
• MPFR
• Efficient Multiple-Precision Evaluation of Elementary Functions
• An AUGMENT Interface for Brent's Multiple Precision Arithmetic Package
• Interval Methods for Systems of Equations
• A Fortran 90-based multiprecision system
• Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic
• Precise computation using range arithmetic, via C++
• Useful computations need useful numbers
• Efficient and Reliable Multiprecision Implementation of Elementary and Special Functions
• Numerical Software with Result Verification
• Numerical Software with Result Verification
• Reliable Computing with GNU MPFR
• Computer arithmetic and validity. Theory, implementation, and applications
• A remarkable example of catastrophic cancellation unraveled

This page was built for publication: Multiple/arbitrary precision interval computations in C-XSC