Contributions to computational analysis

DOI10.1017/S0004972700018049zbMATH Open0687.65120OpenAlexW2073808039MaRDI QIDQ4206365FDOQ4206365

Authors: H.-J. Dobner 

Publication date: 1990

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0004972700018049

Recommendations

• Computable bounds for solutions of integral equations
• scientific article; zbMATH DE number 434850
• Verified numerical computation for nonlinear equations
• scientific article; zbMATH DE number 440796
• Publication:4203727

zbMATH Keywords

interval analysislinear integral equationscomputationally verifiable existence and enclosure test

Mathematics Subject Classification ID

Numerical methods for integral equations (65R20) Fredholm integral equations (45B05) Interval and finite arithmetic (65G30)

Cites Work

• A computer-assisted proof of the Feigenbaum conjectures
• Title not available (Why is that?)

Cited In (1)

• Verification methods for fredholm integral equations

This page was built for publication: Contributions to computational analysis

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