Cited in
(62)- Rigorous solution of linear programming problems with uncertain data
- scientific article; zbMATH DE number 869750 (Why is no real title available?)
- Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations
- scientific article; zbMATH DE number 1440932 (Why is no real title available?)
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Multiple/arbitrary precision interval computations in C-XSC
- scientific article; zbMATH DE number 852345 (Why is no real title available?)
- Accurate arithmetic results for decimal data on non-decimal computers
- Remarks on Verified Inclusions for the Solution of Systems of Linear Equations
- scientific article; zbMATH DE number 761488 (Why is no real title available?)
- scientific article; zbMATH DE number 166766 (Why is no real title available?)
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
- scientific article; zbMATH DE number 58446 (Why is no real title available?)
- Advanced Arithmetic for the Digital Computer
- scientific article; zbMATH DE number 878933 (Why is no real title available?)
- Mathematics and speed for interval arithmetic: a complement to IEEE 1788
- FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH
- On the solution of interval linear systems
- An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points
- A note on epsilon-inflation
- Variable-Precision Exponential Evaluation
- 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
- C-XSC
- C-XSC 2.0
- FORTRAN-SC
- FORTRAN-XSC
- HIFICOMP
- INTBIS
- INTLIB
- intpakX
- PCOMP
- GNU Fortran
- VPI
- Algorithm 693
- PASCAL-XSC
- CADAC
- Pascal-SC
- Computational error bounds for multiple or nearly multiple eigenvalues
- scientific article; zbMATH DE number 802418 (Why is no real title available?)
- Global optimization using interval arithmetic
- On a misconception involving point collocation and the Rayleigh hypothesis
- 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
- scientific article; zbMATH DE number 852352 (Why is no real title available?)
- 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
- Bounds for eigenvalues of second-order elliptic differential operators
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
- scientific article; zbMATH DE number 869749 (Why is no real title available?)
- 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
