Proving conjectures by use of interval arithmetic

MaRDI QIDQ2765413zbMATH OpenFDO

Authors Andreas Frommer

Publication date 24 January 2002

zbMATH Keywords

computer assisted proofsinterval arithmetic

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30)

Recommendations

• scientific article; zbMATH DE number 4108029
• scientific article; zbMATH DE number 67122
• scientific article; zbMATH DE number 67118
• Computer-assisted proofs in analysis
• scientific article; zbMATH DE number 3854310

Cited in

(10)

• Ten methods to bound multiple roots of polynomials
• Improved componentwise verified error bounds for least squares problems and underdetermined linear systems
• Global attractivity of the zero solution for Wright's equation
• Tight and efficient enclosure of matrix multiplication by using optimized BLAS.
• scientific article; zbMATH DE number 5862941 (Why is no real title available?)
• Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations
• Proofs of conjectures on machine arithmetic lying at the base of localizing computations
• scientific article; zbMATH DE number 4108029 (Why is no real title available?)
• scientific article; zbMATH DE number 67118 (Why is no real title available?)
• scientific article; zbMATH DE number 869742 (Why is no real title available?)

Describes a project that uses

Uses Software

• INTOPT_90
• mctoolbox

This page was built for publication: Proving conjectures by use of interval arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2765413)