Contributions to computational analysis
H. J. Dobner · Bulletin of the Australian Mathematical Society · 1990
In this paper some new results concerning computational analysis are established. The fundamental concepts of interval analysis and fixed point theorems suitable for computational purposes are developed and applied to concrete examples illustrating this new method of proving mathematical statements.