Dominios de representación algebraicos y continuos: aritmética real exacta

Abstract

Los dominios son estructuras diseñadas para modelar computación vía aproximaciones. Este documento presenta una teoría efectiva de representación de los números reales por dominios continuos con su implementación en términos de LFT’s, y por dominios algebraicos con su respectiva implementación en intervalos centrados diádicos.

Abstract. Domains are ordered structures designed to model computation with approximations. This document present a framework to effective representation of real numbers by continuous domains with its implemented in terms of linear fractional transformations, and by algebraic domains with its implemented in dyadic centred intervals.