computational-algebra

swMATH26349MaRDI QIDQ38080FDOQ38080

Author name not available (Why is that?)

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