Approximate Computing in Numerical Analysis Variable Interval Computing - Extended Abstract

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 computin... View More