×

Effective real numbers in Mmxlib. (English) Zbl 1356.68297

Dumas, Jean-Guillaume (ed.), Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. New York, NY: ACM Press (ISBN 1-59593-276-3). 138-145 (2006).

MSC:

68W30 Symbolic computation and algebraic computation

Software:

Mmxlib; RealLib; gmp; MPFR; MPFI; iRRAM
PDFBibTeX XMLCite
Full Text: DOI