scientific article; zbMATH DE number 647464

MaRDI QIDQ4308281zbMATH OpenFDO

Authors Christian Jansson, Siegfried M. Rump

Publication date 26 October 1994

zbMATH Keywords

global optimizationerror analysisnonlinear equationslinear equationsinterval mathematicsautomatic result verificationsurvey articlenumerical exemples

Mathematics Subject Classification ID

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

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

(6)

• Verified solution of large systems and global optimization problems
• scientific article; zbMATH DE number 58446 (Why is no real title available?)
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
• scientific article; zbMATH DE number 176889 (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)