Overview of the Mathemagix type system
From MaRDI portal
Recommendations
- Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?
- Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations
- scientific article; zbMATH DE number 1263393
- A type system for computer algebra
- scientific article; zbMATH DE number 1860751
Cites work
Cited in
(3)
Describes a project that uses
Uses Software
This page was built for publication: Overview of the Mathemagix type system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2799572)