A purely functional computer algebra system embedded in Haskell

DOI10.1007/978-3-319-99639-4_20zbMath1453.68036arXiv1807.01456OpenAlexW2810463395MaRDI QIDQ1798330

Hiromi Ishii

Publication date: 23 October 2018

Full work available at URL: https://arxiv.org/abs/1807.01456

zbMATH Keywords

Gröbner basisformal methodsHaskellfunctional programmingtype systemcomputational algebrasignature-based algorithmsimplementation reportproperty-based testing

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Functional programming and lambda calculus (68N18)

Related Items (2)

Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra ⋮ computational-algebra

Uses Software

• Haskell
• GHC
• QuickCheck
• SmallCheck
• type-natural
• ghc-typelits-presburger
• DoCon
• Unnamed Item

This page was built for publication: A purely functional computer algebra system embedded in Haskell