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, 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.