Typeful symbolic differentiation

From HaskellWiki
Revision as of 22:21, 5 April 2021 by Atravers (talk | contribs) (Minor formatting changes)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


Typeful symbolic differentiation

Oleg Kiselyov writes:

A symbolic differentiator for a subset of Haskell functions (which covers arithmetics and a bit of trigonometry). We can evaluate our functions numerically － and differentiate them symbolically. Partial derivatives are supported as well.
Retrieved from "https://wiki.haskell.org/index.php?title=Typeful_symbolic_differentiation&oldid=64099"