Overview of the Mathemagix Type System

DOI10.1007/978-3-662-43799-5_27zbMath1352.68306OpenAlexW968016795MaRDI QIDQ2799572

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)

Related Items (1)

Mathemagix

Uses Software

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

Cites Work

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

This page was built for publication: Overview of the Mathemagix Type System