Difference between revisions of "Typeful symbolic differentiation"

From HaskellWiki
Jump to: navigation, 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."
+
: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.