A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT. - José Raymundo Marcial-Romero; Alejandra Y. Lucatero; José Antonio Hernández Servín (LA-NMR, 2011)