Typeful symbolic differentiation
Jump to navigation
Jump to search
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.