Multiple/arbitrary precision interval computations in C-XSC

被引:4
|
作者
Kraemer, Walter [1 ]
机构
[1] Univ Wuppertal, Wuppertal, Germany
关键词
Arbitrary precision; Multiple precision; Reliable computations; Interval computations; MPFI; MPFR; C-XSC; Interval Newton method; ELEMENTARY; EFFICIENT;
D O I
10.1007/s00607-011-0174-8
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
As a new feature, C-XSC provides so-called wrapper classes to some external arbitrary precision real and interval packages. Operator and function name overloading is used to give the user easy access to the arithmetic operations and mathematical functions provided by the underlying Ansi C packages. We will discuss briefly so-called staggered precision arithmetics based on exact scalar products. Such an arithmetic is available in C-XSC e.g. for multiple precision complex intervals. We also discuss the usage of the arbitrary precision arithmetic packages MPFR and MPFI, which are now accessible conveniently from within C-XSC via class interfaces. As a typical application, we will present an arbitrary precision interval Newton method to find the root(s) of a continuously differentiable function in a prescribed domain. The user only has to supply the expression for the function in the usual mathematical notation. The derivative needed in the interval Newton operator is computed using automatic differentiation based on the arbitrary precision interval operations. To demonstrate the power of the package we compute an enclosure of the zero of a model problem with guaranteed accuracy of more than 10 million decimal digits.
引用
收藏
页码:229 / 241
页数:13
相关论文
共 14 条
  • [1] Multiple/arbitrary precision interval computations in C-XSC
    Walter Krämer
    Computing, 2012, 94 : 229 - 241
  • [2] Arbitrary Precision Complex Interval Computations in C-XSC
    Kraemer, Walter
    Blomquist, Frithjof
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, PT II, 2012, 7204 : 457 - 466
  • [3] Mathematica Connectivity to Interval Libraries filib plus plus and C-XSC
    Popova, Evgenija D.
    NUMERICAL VALIDATION IN CURRENT HARDWARE ARCHITECTURES, 2009, 5492 : 117 - 132
  • [4] C-XSC and Closely Related Software Packages
    Hofschuster, Werner
    Kraemer, Walter
    Neher, Markus
    NUMERICAL VALIDATION IN CURRENT HARDWARE ARCHITECTURES, 2009, 5492 : 68 - +
  • [5] EMBEDDING C-XSC NONLINEAR SOLVERS IN MATHEMATICA
    Popova, Evgenija D.
    Kraemer, Walter
    COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES, 2011, 64 (01): : 11 - 20
  • [6] High performance verified computing using C-XSC
    Kraemer, Walter
    COMPUTATIONAL & APPLIED MATHEMATICS, 2013, 32 (03): : 385 - 400
  • [7] Using C-XSC for High Performance Verified Computing
    Kraemer, Walter
    Zimmer, Michael
    Hofschuster, Werner
    APPLIED PARALLEL AND SCIENTIFIC COMPUTING, PT II, 2012, 7134 : 168 - 178
  • [8] High performance verified computing using C-XSC
    Walter Krämer
    Computational and Applied Mathematics, 2013, 32 : 385 - 400
  • [9] Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS
    Kraemer, Walter
    Zimmer, Michael
    NUMERICAL VALIDATION IN CURRENT HARDWARE ARCHITECTURES, 2009, 5492 : 230 - 249
  • [10] An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster–Shafer theory
    Michael Zimmer
    Gabor Rebner
    Walter Krämer
    Soft Computing, 2013, 17 : 1453 - 1465