Typeful symbolic differentiation

From HaskellWiki
Revision as of 14:39, 16 August 2006 by DonStewart (talk | contribs) (+Typeful symbolic differentiation)
(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."