Topics in computer supported error control

MaRDI QIDQ3082743zbMATH OpenFDO

Authors H.-J. Dobner

Publication date 16 March 2011

Mathematics Subject Classification ID

Numerical methods for integral equations (65R20) Volterra integral equations (45D05) General methods in interval analysis (65G40) Fredholm integral equations (45B05) Algorithms with automatic result verification (65G20)

Recommendations

• scientific article; zbMATH DE number 434850
• scientific article; zbMATH DE number 125099
• scientific article; zbMATH DE number 176889
• Verified computation of solutions for obstacle problems with guaranteed \(L^\infty\) error bound
• Verification methods for fredholm integral equations

Cited in

(3)

• Accuracy verification methods. Theory and algorithms
• scientific article; zbMATH DE number 125099 (Why is no real title available?)
• scientific article; zbMATH DE number 4078657 (Why is no real title available?)

This page was built for publication: Topics in computer supported error control

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