Author: Boldo Sylvie Daumas Marc
Publisher: Springer Publishing Company
ISSN: 1433-2779
Source: International Journal on Software Tools for Technology Transfer, Vol.5, Iss.2-3, 2004-03, pp. : 237-246
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Termination of Floating-Point Computations
By Serebrenik Alexander Schreye Danny
Journal of Automated Reasoning, Vol. 34, Iss. 2, 2005-12 ,pp. :
Floating-point versus Symbolic Computations in the QD-algorithm
By Cuyt A.
Journal of Symbolic Computation, Vol. 24, Iss. 6, 1997-12 ,pp. :