Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations

DOI10.1007/978-3-642-15582-6_52MaRDI QIDQ5747899zbMATH OpenOpenAlexFDO

Authors Grégoire Lecerf

Publication date 14 September 2010

Published in Mathematical Software – ICMS 2010 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15582-6_52

Mathematics Subject Classification ID

Packaged methods for numerical algorithms (65Y15) Symbolic computation and algebraic computation (68W30)

Recommendations

• Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?
• Computing properties of numerical imperative programs by symbolic computation
• scientific article; zbMATH DE number 5286863
• Towards specifying symbolic computation
• Generation and verfication of algorithms for symbolic-numeric processing
• scientific article; zbMATH DE number 4066271
• scientific article; zbMATH DE number 1639657
• Programming and symbolic computation in Maude

Cited in

(4)

• Mathemagix
• Overview of the Mathemagix type system
• Effective real numbers in Mmxlib
• Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?

Describes a project that uses

Uses Software

• MPFR
• AXIOM
• gmp

This page was built for publication: Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations

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