Symbolic ito calculus in AXIOM: An ongoing story
Symbolic Ito calculus refers both to the implementation of Ito calculus in a computer algebra package and to its application. This article reports on progress in the implementation of Ito 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 Ito 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.
symbolic ito calculus ito calculus axiom computer algebra coupling of random processes financial mathematics ito formula itovsn3 mardia-dryden density mathematica macsyma maple reduce semimartingale statistics of shape stochastic calculus stochastic integral