Difference between revisions of "Typeful symbolic differentiation"
Jump to navigation
Jump to search
m (Reverted edits by Tomjaguarpaw (talk) to last revision by DonStewart) |
m (Minor formatting changes) |
||
| 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.