Contributions to computational analysis

DOI10.1017/S0004972700018049zbMath0687.65120OpenAlexW2073808039MaRDI QIDQ4206365

Hans-Jürgen 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

zbMATH Keywords

interval analysislinear integral equationscomputationally verifiable existence and enclosure test

Mathematics Subject Classification ID

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

Related Items (1)

Verification methods for fredholm integral equations

Cites Work

• Unnamed Item
• A computer-assisted proof of the Feigenbaum conjectures

This page was built for publication: Contributions to computational analysis