×

Topological concepts for hierarchies of variables, types and controls. (English) Zbl 0987.65046

Alefeld, Götz (ed.) et al., Symbolic algebraic methods and verification methods. Wien: Springer. 3-10 (2001).
Algorithmic structures and, related, algorithms are defined by decomposing computable functions into sequences of basic functions. Then, as a second step, the application of topological concepts enables the treatment and description of approximative computations and their error measures.
For the entire collection see [Zbl 0963.00018].

MSC:

65J05 General theory of numerical analysis in abstract spaces
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
65G30 Interval and finite arithmetic
68W25 Approximation algorithms
PDFBibTeX XMLCite