Comparing Implementations of a Calculator for Exact Real Number Computation

Al ser uno de los primeros lenguajes de programación teóricos para el cómputo con números reales, Real PCF demostró ser impráctico debido a los constructores paralelos que necesita para el cálculo de funciones básicas. Posteriormente, se propuso LRT como una variante de Real PCF el cual evita el uso...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: José Raymundo Marcial-Romero, José Antonio Hernández Servín, Héctor Alejandro Montes-Venegas
Formato: article
Lenguaje:EN
Publicado: Universidad Autonoma del Estado de Mexico 2012
Materias:
Q
H
Acceso en línea:https://doaj.org/article/61632c81fbde445a857a9ad2d485c173
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares