Automatic Differentiation
From HaskellWiki
(Difference between revisions)
(old thread on Haskell Cafe) |
|||
| Line 1: | Line 1: | ||
| - | + | Implementations: | |
| - | Implementations | + | |
* [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fad fad] | * [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fad fad] | ||
| Line 15: | Line 14: | ||
With advanced type classes in [[Numeric Prelude]]: | With advanced type classes in [[Numeric Prelude]]: | ||
| - | http://hackage.haskell.org/packages/archive/numeric-prelude/0.0.5/doc/html/MathObj- | + | http://hackage.haskell.org/packages/archive/numeric-prelude/0.0.5/doc/html/MathObj-PowerSeries.html |
| - | + | ||
== See also == | == See also == | ||
| - | + | * [[Functional differentiation]] | |
| + | * Chris Smith in Haskell-cafe on [http://www.haskell.org/pipermail/haskell-cafe/2007-November/035477.html Hit a wall with the type system] | ||
[[Category:Mathematics]] | [[Category:Mathematics]] | ||
Revision as of 23:06, 4 April 2009
Implementations:
- fad
- Vector-space
- http://comonad.com/haskell/monoids/dist/doc/html/monoids/Data-Ring-Module-AutomaticDifferentiation.html
1 Power Series
You may count arithmetic with power series also as Automatic Differentiation, since this means just working with all derivatives simultaneously.
Implementation with Haskell 98 type classes: http://darcs.haskell.org/htam/src/PowerSeries/Taylor.hs
With advanced type classes in Numeric Prelude: http://hackage.haskell.org/packages/archive/numeric-prelude/0.0.5/doc/html/MathObj-PowerSeries.html
2 See also
- Functional differentiation
- Chris Smith in Haskell-cafe on Hit a wall with the type system
