Inproceedings,

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

, , and .
LA-NMR, volume 804 of CEUR Workshop Proceedings, page 71-82. CEUR-WS.org, (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews