swMATH15MaRDI QIDQ12788FDOQ12788
Author name not available (Why is that?)
Official website: http://www2.math.uni-wuppertal.de/~xsc/xsc/history.html
Cited In (56)
- Title not available (Why is that?)
- Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations
- Rigorous solution of linear programming problems with uncertain data
- Title not available (Why is that?)
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Title not available (Why is that?)
- Multiple/arbitrary precision interval computations in C-XSC
- Accurate arithmetic results for decimal data on non-decimal computers
- Remarks on Verified Inclusions for the Solution of Systems of Linear Equations
- Title not available (Why is that?)
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
- Title not available (Why is that?)
- Title not available (Why is that?)
- Advanced Arithmetic for the Digital Computer
- Title not available (Why is that?)
- Mathematics and speed for interval arithmetic: a complement to IEEE 1788
- An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points
- FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH
- Variable-Precision Exponential Evaluation
- On the solution of interval linear systems
- A note on epsilon-inflation
- Solution of linear systems with verified accuracy
- Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
- Fast interval matrix multiplication
- A software interface and hardware design for variable-precision interval arithmetic
- Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side
- On some interval methods for algebraic, exponential and trigonometric polynomials
- An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points
- Computational error bounds for multiple or nearly multiple eigenvalues
- Title not available (Why is that?)
- On a misconception involving point collocation and the Rayleigh hypothesis
- Global optimization using interval arithmetic
- FORTRAN-SC
- FORTRAN-XSC
- HIFICOMP
- INTBIS
- GNU Fortran
- Algorithm 693
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- A programmed algorithm for existence proofs for two-point boundary value problems
- Set inversion via interval analysis for nonlinear bounded-error estimation
- PASCAL-XSC
- CADAC
- Pascal-SC
- Title not available (Why is that?)
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
- Computer-assisted existence proofs for two-point boundary value problems
- Estimation of the sensitivity of linear and nonlinear algebraic problems
- Efficient algorithms for the inclusion of the inverse matrix using error- bounds for hyperpower methods
- Title not available (Why is that?)
- Bounds for eigenvalues of second-order elliptic differential operators
- Guaranteed inclusions for the complex generalized eigenproblem
- A numerical approach to the proof of existence of solutions for elliptic problems
- Automatic differentiation and interval arithmetic for estimation of disequilibrium models
- The interval-enhanced GNU Fortran compiler
- Mathematical function software on the web -- are such codes useful for verification algorithms?
This page was built for software: ACRITH-XSC
