Continuity ∑—Algebras (Extended Abstract)

Abstract

Abstract. We generalize the notion of ordered and metric E-algebras to algebras where the carriers are continuity spaces [9]. The main motivation for this generalization comes from the subject of Real Number Computation. We aim at providing the scientific computing programmer with tools from the formal specification theory in order to achieve a rigorous development and analysis of numerical programs.