Difference between revisions of "Typeful symbolic differentiation"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (+Typeful symbolic differentiation) |
m (Minor formatting changes) |
||
(2 intermediate revisions by 2 users not shown) | |||
Line 5: | Line 5: | ||
Oleg Kiselyov writes: |
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. |
Latest revision as of 22:21, 5 April 2021
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.