Approximate Computing in Numerical Analysis Variable Interval Computing - Extended Abstract
Tsau Young Lin · 2019
Based on Smale's machines over the reals [9], we will formalize approximate computing in numerical analysis. Classical numerical computing generate and accumulate minute errors that lead to real errors; to avoid that error estimations in the forms of ε-δ have to be embedded in the scheme of computing. Such Fundamental Theorems are formulated and proved. By errors a pre-matured version that was withdrawn has appeared in IFSA/NAFIPS2019.