Symbolic Itô calculus in AXIOM: An ongoing story
- Cite this article as:
- Kendall, W.S. Statistics and Computing (2001) 11: 25. doi:10.1023/A:1026553731272
- 117 Downloads
Symbolic Itô calculus refers both to the implementation of Itô calculus in a computer algebra package and to its application. This article reports on progress in the implementation of Itô calculus in the powerful and innovative computer algebra package AXIOM, in the context of a decade of previous implementations and applications. It is shown how the elegant algebraic structure underlying the expressive and effective formalism of Itô calculus can be implemented directly in AXIOM using the package's programmable facilities for “strong typing” of computational objects. An application is given of the use of the implementation to provide calculations for a new proof, based on stochastic differentials, of the Mardia-Dryden distribution from statistical shape theory.