Difference between revisions of "Typeful symbolic differentiation"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (+Typeful symbolic differentiation) |
(No difference)
|
Revision as of 14:39, 16 August 2006
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."