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 127 articles , 1 standard article )

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

1 2 3 ... 5 6 7 next

  1. Carrizosa, Emilio; Messine, Frédéric: An interval branch and bound method for global robust optimization (2021)
  2. Markót, Mihály Csaba: Improved interval methods for solving circle packing problems in the unit square (2021)
  3. Petrone, Giovanni; Spagnuolo, Giovanni; Zamboni, Walter; Siano, Raffaele: An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic (2021)
  4. Bajaj, Ishan; Hasan, M. M. Faruque: Global dynamic optimization using edge-concave underestimator (2020)
  5. Castro, Angel; Córdoba, Diego; Gómez-Serrano, Javier: Global smooth solutions for the inviscid SQG equation (2020)
  6. Frommer, Andreas; Hashemi, Behnam: Computing enclosures for the matrix exponential (2020)
  7. Hoshi, Takeo; Ogita, Takeshi; Ozaki, Katsuhisa; Terao, Takeshi: An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations (2020)
  8. Gómez-Serrano, Javier: Computer-assisted proofs in PDE: a survey (2019)
  9. Kulisch, Ulrich: Mathematics and speed for interval arithmetic: a complement to IEEE 1788 (2019)
  10. Nepomuceno, Erivelton G.; Peixoto, Márcia L. C.; Martins, Samir A. M.; Rodrigues, Heitor M. Junior; Perc, Matjaž: Inconsistencies in numerical simulations of dynamical systems using interval arithmetic (2018)
  11. Pacella, Filomena; Plum, Michael; Rütters, Dagmar: A computer-assisted existence proof for Emden’s equation on an unbounded (L)-shaped domain (2017)
  12. Sainudiin, Raazesh; Welch, David: The transmission process: a combinatorial stochastic process for the evolution of transmission trees over networks (2016)
  13. Walter F. Mascarenhas: Moore: Interval Arithmetic in Modern C++ (2016) arXiv
  14. Kolberg, Mariana; Bohlender, Gerd; Fernandes, Luiz Gustavo: An efficient approach to solve very large dense linear systems with verified computing on clusters. (2015)
  15. Castro, Angel; Córdoba, Diego; Gómez-Serrano, Javier; Zamora, Alberto Martín: Remarks on geometric properties of SQG sharp fronts and (\alpha)-patches (2014)
  16. Frommer, Andreas; Hashemi, Behnam; Sablik, Thomas: Computing enclosures for the inverse square root and the sign function of a matrix (2014)
  17. Hölbig, Carlos A.; Do Carmo, Andriele; Arendt, Luis P.: High accuracy and interval arithmetic on multicore processors (2013)
  18. Kiel, Stefan; Luther, Wolfram; Dyllong, Eva: Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures (2013) ioport
  19. Krämer, Walter: High performance verified computing using C-XSC (2013)
  20. 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) ioport

1 2 3 ... 5 6 7 next