Difference between revisions of "Beautiful differentiation (Conal Elliott)"

From apm
Jump to: navigation, search
(External links: added link to MemoTrie library)
(added back-links * Diffing * Useful math)
Line 9: Line 9:
  
 
* [[Constructive solid geometry]]
 
* [[Constructive solid geometry]]
 +
* [[Diffing]]
 +
* [[Useful math]]
  
 
== External links ==
 
== External links ==

Revision as of 14:03, 1 January 2023

This article is a stub. It needs to be expanded.

Automatic differentiation but:

  • generalized to arbitrary dimensionality
  • generalized to arbitrary order
  • employing lazy evaluation – allowing to avoid obfuscation of code

Related

External links

Central page linking to all relevant material:

Actually usable implementation (Haskell library):

vector-space provides classes and generic operations for vector spaces and affine spaces.
It also defines a type of infinite towers of generalized derivatives.
A generalized derivative is a linear transformation rather than one of the common concrete representations (scalars, vectors, matrices, ...).

Wikipedia: