Typeful symbolic differentiation
Revision as of 22:21, 5 April 2021 by Atravers (Minor formatting changes)
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.