C-XSC. A C++ class library for extended scientific computing. Transl. by G. F. Corliss, C. Lawo, R. Klatte, A. Wiethoff, C. Wolff
From MaRDI portal
This reference manual contains the complete description of the C-XSC language extension, a chapter with sample programs, and a library of problem-solving functions and programs with automatic result verification for standard problems of numerical analysis. It also includes a complete set of syntax diagrams, detailed tables, and an index. The material in this book should be easily accessible for C or C++ programmers.
Recommendations
Cited in
(49)- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- C-XSC
- Guaranteed analysis and optimisation of parametric systems with application to their stability degree
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Interval analysis: Theory and applications
- New solutions of the Gelfand problem
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- Parallel methods for verified global optimization practice and theory
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Design of a parallel linear algebra library for verified computation
- Variable-precision, interval arithmetic coprocessors
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- An interval branch and bound method for global robust optimization
- Computing enclosures for the inverse square root and the sign function of a matrix
- New interval methods for constrained global optimization
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- A new inclusion function for optimization: kite -- the one-dimensional case
- Global attractivity of the zero solution for Wright's equation
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- The impact of data distribution in accuracy and performance of parallel linear algebra subroutines
- Solving dense interval linear systems with verified computing on multicore architectures
- scientific article; zbMATH DE number 434845 (Why is no real title available?)
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
- High performance verified computing using C-XSC
- scientific article; zbMATH DE number 58446 (Why is no real title available?)
- Multiple/arbitrary precision interval computations in C-XSC
- scientific article; zbMATH DE number 524111 (Why is no real title available?)
- Fast interval matrix multiplication
- Interval input and output
- Interval Methods for Global Optimization Using the Boxing Method
- scientific article; zbMATH DE number 761488 (Why is no real title available?)
- Enclosing Chebyshev expansions in linear time
- Computing enclosures for the matrix exponential
- Robustness and Randomness
- Numerical Software with Result Verification
- Fast and correctly rounded logarithms in double-precision
- A certificate-based approach to formally verified approximations
- Computer-assisted enclosure methods for elliptic differential equations
- Computational error bounds for multiple or nearly multiple eigenvalues
- Computational existence proofs for spherical \(t\)-designs
- The exact dot product as basic tool for long interval arithmetic
- Very fast and exact accumulation of products
- Extended interval Newton method based on the precise quotient set
- Verified error bounds for solutions of Sylvester matrix equations
- Inner and outer bounds for the solution set of parametric linear systems
- Empirical convergence speed of inclusion functions for facility location problems
- Dense linear system: A parallel self-verified solver
This page was built for publication: C-XSC. A C++ class library for extended scientific computing. Transl. by G. F. Corliss, C. Lawo, R. Klatte, A. Wiethoff, C. Wolff
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5286655)
