Effective real numbers in Mmxlib

DOI10.1145/1145768.1145795MaRDI QIDQ2958980zbMATH OpenOpenAlexFDO

Authors Joris van der Hoeven

Publication date 3 February 2017

Published in Proceedings of the 2006 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1145768.1145795

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• On effective analytic continuation
• scientific article; zbMATH DE number 1860725
• RealLib: An efficient implementation of exact real arithmetic
• Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations
• Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?

Cited in

(5)

• On effective analytic continuation
• Mmxlib
• scientific article; zbMATH DE number 1860725 (Why is no real title available?)
• Complex inclusion functions in the CoStLy C++ class library
• Calcium. Computing in exact real and complex fields

Describes a project that uses

Uses Software

• MPFI
• MPFR
• gmp
• RealLib
• iRRAM

This page was built for publication: Effective real numbers in Mmxlib

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2958980)