Mmxlib

MaRDI QIDQ30616swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1145795

Described by source

• Effective real numbers in Mmxlib

Cited in

(9)

• Mathemagix
• RealLib
• matrixss
• SimplifySum
• iRRAM
• Efficient accelero-summation of holonomic functions
• New algorithms for relaxed multiplication
• Around the numeric-symbolic computation of differential Galois groups
• Computations with effective real numbers

This page was built for software: Mmxlib