scientific article; zbMATH DE number 647464

zbMATH Open0812.65037MaRDI QIDQ4308281FDOQ4308281

Authors: Christian Jansson, Siegfried M. Rump 

Publication date: 26 October 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Verified solution of large systems and global optimization problems
• Title not available (Why is that?)
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)