computational-algebra

MaRDI QIDQ38080swMATHFDO

Official website https://konn.github.io/computational-algebra/

Described by source

• A purely functional computer algebra system embedded in Haskell

Cited in

(4)

• Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra
• DoCon
• ghc-typelits-presburger
• type-natural

This page was built for software: computational-algebra