Typeful symbolic differentiation
Revision as of 14:39, 16 August 2006 by DonStewart (talk | contribs) (+Typeful symbolic differentiation)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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."