Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations (Q5747899)
From MaRDI portal
scientific article; zbMATH DE number 5785586
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations |
scientific article; zbMATH DE number 5785586 |
Statements
Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations (English)
0 references
14 September 2010
0 references
