Stochastic differential equations (3rd ed.): an introduction with applications
Stochastic differential equations (3rd ed.): an introduction with applications
AXIOM: the scientific computation system
AXIOM: the scientific computation system
Computer algebra in the life sciences
ACM SIGSAM Bulletin
| Hi-index | 0.00 |
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.