C-XSC 2.0

A C++ class library for extended scientific computing. The original version of the C-XSC library is about ten years old. But in the last decade the underlying programming language C++ has been developed significantly. Since November 1998 the C++ standard is available and more and more compilers support (most of) the features of this standard. The new version C-XSC 2.0 conforms to this standard. Application programs written for older C-XSC versions have to be modified to run with C-XSC 2.0. Several examples will help the user to see which changes have to be done. Note, that all sample codes given in [R. Klatte et al., C-XSC. A C++ class library for extended scientific computing. Berlin: Springer-Verlag (1993; Zbl 0814.68035)] have to be modified to work properly with C-XSC 2.0. Sample codes are available on the web page http://www.math.uni-wuppertal.de/ xsc/cxsc/examples.

References in zbMATH (referenced in 108 articles , 1 standard article )

Showing results 1 to 20 of 108.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Frommer, Andreas; Hashemi, Behnam; Sablik, Thomas: Computing enclosures for the inverse square root and the sign function of a matrix (2014)
  2. Hölbig, Carlos A.; Do Carmo, Andriele; Arendt, Luis P.: High accuracy and interval arithmetic on multicore processors (2013)
  3. Kiel, Stefan; Luther, Wolfram; Dyllong, Eva: Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures (2013)
  4. Krämer, Walter: High performance verified computing using C-XSC (2013)
  5. Zimmer, Michael; Rebner, Gabor; Krämer, Walter: An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory (2013)
  6. Dyllong, Eva; Kiel, Stefan: A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (2012)
  7. Frommer, Andreas; Hashemi, Behnam: Verified error bounds for solutions of Sylvester matrix equations (2012)
  8. Kiel, Stefan: Verified spatial subdivision of implicit objects using implicit linear interval estimations (2012)
  9. Krämer, Walter: Multiple/arbitrary precision interval computations in C-XSC (2012)
  10. Rump, Siegfried M.: Fast interval matrix multiplication (2012)
  11. Zimmer, Michael; Krämer, Walter; Popova, Evgenija D.: Solvers for the verified solution of parametric linear systems (2012)
  12. Chen, Chin-Yun: Extended interval Newton method based on the precise quotient set (2011)
  13. Chen, Xiaojun; Frommer, Andreas; Lang, Bruno: Computational existence proofs for spherical $t$-designs (2011)
  14. Johnson, Tomas; Tucker, Warwick: A note on the convergence of parametrised non-resonant invariant manifolds (2011)
  15. Kieffer, M.; Walter, E.: Guaranteed estimation of the parameters of nonlinear continuous-time models: contributions of interval analysis (2011)
  16. Kulisch, Ulrich: Very fast and exact accumulation of products (2011)
  17. Kulisch, Ulrich; Snyder, Van: The exact dot product as basic tool for long interval arithmetic (2011)
  18. Milani, Cleber Roberto; Kolberg, Mariana; Fernandes, Luiz Gustavo: Solving dense interval linear systems with verified computing on multicore architectures (2011)
  19. Rocker, Björn; Kolberg, Mariana; Heuveline, Vincent: The impact of data distribution in accuracy and performance of parallel linear algebra subroutines (2011)
  20. Frommer, Andreas; Hashemi, Behnam: Verified computation of square roots of a matrix (2010)

1 2 3 4 5 6 next