Abstract
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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
