José Raymundo Marcial-Romero, Alejandra Y. Lucatero, J. A. Hernández. A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT. In Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, José Arrazola, Carolina Medina, editors, Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. Volume 804 of CEUR Workshop Proceedings, pages 71-82, CEUR-WS.org, 2011. [doi]
Abstract is missing.