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

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 in...