Symbolic Ito calculus refers both to the implementation of Ito calculus in a computer algebra package and to its application. This article 1 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.
|
269
|
Continuous martingales and Brownian motion. Third edition. Grundlehren der
– Revuz, Yor
- 1999
|
|
224
|
Numerical Solution of Stochastic Differential Equations
– Kloeden, Platen
- 1992
|
|
75
|
AXIOM: the scientific computation system
– Jenks, Sutor
- 1992
|
|
61
|
Stochastic Integration and Differential Equations: A New Approach
– Protter
- 1990
|
|
24
|
Investigations on the Theory of Brownian Movement. Courier Dover
– Einstein
- 1956
|
|
23
|
Financial Calculus. An Introduction to Derivative Pricing
– Baxter, Rennie
- 1996
|
|
21
|
The diffusion of shape
– Kendall
- 1977
|
|
19
|
Théorie de la Spéculation, Annales Scientifiques de l’ École Normale Supérieure
– Bachelier
- 1900
|
|
19
|
Shape distributions for landmark data
– Mardia, Dryden
- 1989
|
|
14
|
A Nonstandard Representation of Brownian Motion and Itó Integration
– Anderson
- 1976
|
|
11
|
Numerical solution of SDE through computer experiments
– Kloeden, Platen, et al.
- 1994
|
|
11
|
Stochastic Differential Equations: An Introduction with Applications
– ksendal
- 1995
|
|
8
|
A brief account of microscopical observations made in the months of
– Brown
- 1829
|
|
8
|
Stochastic integral
– Ito
- 1944
|
|
5
|
A MAPLE package for stochastic differential equations
– Cyganowski
- 1996
|
|
5
|
Computer algebra in probability and statistics
– KENDALL
- 1993
|
|
5
|
Computer algebra and stochastic analysis, some possibilities
– Valkeila
- 1991
|
|
4
|
NuWeB Version 0.87b: A simple literate programming tool. Published on the World-Wide Web by preston@cs.rice.edu
– Briggs
- 1992
|
|
4
|
Symbolic Ito calculus: An overview
– Kendall
- 1991
|
|
4
|
Construction of Stochastic Numerical Schemes through
– Kloeden, Scott
- 1993
|
|
3
|
Coupling constructions for hypoelliptic diffusions: Two examples
– Arous, Cranston, et al.
- 1995
|
|
3
|
Solving Stochastic Differential Equations with
– Cyganowski
- 1996
|
|
3
|
On a stochastic integral equation
– Ito
- 1946
|
|
3
|
A diffusion model for Bookstein triangle shape
– Kendall
- 1998
|
|
2
|
Stochatic differentials
– Ito
- 1975
|
|
2
|
The Mardia-Dryden shape distribution for triangles -- a stochastic calculus approach
– Kendall
- 1991
|
|
2
|
Symbolic computation and the diffusion of shapes of triads
– Kendall
- 1988
|
|
2
|
Doing stochastic calculus with Mathematica
– Kendall
- 1993
|
|
2
|
Computer Algebra
– Kendall
- 1998
|
|
2
|
A stochastic calculus approach to the shape distribution induced by a complex normal model
– Le
- 1991
|
|
1
|
Aldor - the language for computer algebra. Solve: The Newsletter for AXIOM Users
– Dewar
- 1997
|
|
1
|
Stochastic Calculus in Manifolds (with an appendix by P.-A
– unknown authors
- 1989
|
|
1
|
Discussion of read paper by Clifford, Green and Pilling
– Kendall
- 1987
|
|
1
|
Symbolic Ito calculus: An introduction
– Kendall
- 1991
|
|
1
|
A remark on the proof of Ito's formula for C functions of continuous semimartingales
– Kendall
- 1992
|
|
1
|
Itovsn3 in AXIOM: modules, algebras and stochastic differentials
– Kendall
- 1998
|
|
1
|
Discussion of paper by D.G
– Mardia
- 1989
|
|
1
|
G'eom'etrie stochastique sans larmes. S'eminaire de Probabilit'es, XV:44--102
– Meyer
- 1981
|
|
1
|
Zeros of Brownian polynomials and Coupling of Brownian areas
– Price
- 1996
|
|
1
|
Rational noncommutative formal power series and iterated integral representation of a class of Ito processes
– Riccomagno
- 1996
|
|
1
|
Multi-strain species modeling via differential algebra reduction
– Riccomagno, White
- 1997
|
|
1
|
G'eom'etrie diff'erentielle du 2`eme ordre, semi-martingales et 'equations diff'erentielle stochastique sur une vari'et'e diff'erentielle
– Schwartz
- 1982
|
|
1
|
Semimartingales and their Stochastic Calculus on Manifolds. Les Presses de l'Universit'e de
– Schwartz
- 1984
|
|
1
|
Applications of Mathematica to the stochastic calculus
– Steele, Stine
- 1991
|
|
1
|
Mathematica and diffusions
– Steele, Stine
- 1993
|
|
1
|
Presto: a software package for the simulation of diffusion processes
– Talay
- 1994
|
|
1
|
Some remarks on computerized stochastic analysis
– Valkeila
- 1991
|
|
1
|
Mechanical models for cell movement - locomotion, translocation, migration
– Watkins
- 1998
|
