External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT

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]

Authors

José Raymundo Marcial-Romero

This author has not been identified. Look up 'José Raymundo Marcial-Romero' in Google

Alejandra Y. Lucatero

This author has not been identified. Look up 'Alejandra Y. Lucatero' in Google

J. A. Hernández

This author has not been identified. Look up 'J. A. Hernández' in Google
runs on