Verification of invertibility of complicated functions over large domains

Reliable Computing

Volumn 8, Issue 1, 2002, Pages 67-82

  Hoefkens, Jens ^a   Berz, Martin ^a  

^a MICHIGAN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DIFFERENTIAL EQUATIONS; LINEAR ALGEBRA; MATRIX ALGEBRA; PROBLEM SOLVING;

HIGH-DIMENSIONAL FUNCTIONS;

FUNCTIONS;

EID: 0036465832     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1014789619479     Document Type: Article

References (17)

1. Differential algebras with remainder and rigorous proofs of long-term stability
2. Computation and application of taylor polynomials with interval remainder bounds
3. Exact bounds of the long term stability of weakly nonlinear systems applied to the design of large storage rings
4. Verified high-order inversion of functional dependencies and interval newton methods
5. New methods for high-dimensional verified quadrature
6. Verified integration of ODEs and flows with differential algebraic methods on taylor models
7. Efficient control of the dependency problem based on taylor model methods
8. Remainder differential algebras and their applications
9. Iterative solution of nonlinear equations in several variables
10. Ill-conditioned matrices are componentwise near to singularity
11. Validated solution of large linear systems
12. Verification methods for dense and sparse systems of equations