scientific article; zbMATH DE number 647464

MaRDI QIDQ4308281zbMATH OpenFDO

Authors Christian Jansson, Siegfried M. Rump

Publication date 26 October 1994

zbMATH Keywords

automatic result verificationerror analysisglobal optimizationinterval mathematicslinear equationsnonlinear equationsnumerical exemplessurvey article

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Iterative numerical methods for linear systems (65F10) Interval and finite arithmetic (65G30) Numerical computation of solutions to systems of equations (65H10) Numerical mathematical programming methods (65K05) Complexity and performance of numerical algorithms (65Y20)

Recommendations

• scientific article; zbMATH DE number 563597
• scientific article; zbMATH DE number 647467
• scientific article; zbMATH DE number 176889
• Numerical Software with Result Verification
• scientific article; zbMATH DE number 815479

Cited in

(7)

• Verified solution of large systems and global optimization problems
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
• scientific article; zbMATH DE number 58446 (Why is no real title available?)
• scientific article; zbMATH DE number 176889 (Why is no real title available?)
• scientific article; zbMATH DE number 563597 (Why is no real title available?)
• scientific article; zbMATH DE number 647467 (Why is no real title available?)
• Numerical Software with Result Verification

This page was built for publication:

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