Overview of the Mathemagix type system

DOI10.1007/978-3-662-43799-5_27MaRDI QIDQ2799572zbMATH OpenOpenAlexFDO

Authors Joris van der Hoeven

Publication date 12 April 2016

Published in Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-43799-5_27

zbMATH Keywords

computer algebratype systemparametric polymorphismoverloadinglanguage designMathemagix

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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

• A theory of type polymorphism in programming
• Computations in algebraic geometry with Macaulay 2
• Macsyma: A personal history

Cited in

(3)

• Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?
• Explicit mathematics: power types and overloading
• Mathemagix

Describes a project that uses

Uses Software

• FFTW
• Haskell
• MPFR
• Isabelle/HOL
• ALDOR
• MACSYMA
• SageMath
• Maxima
• Mathematica
• Maple
• Macaulay2
• IBM Scratchpad
• gmp
• FGb
• Coq
• AXIOM

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)