This paper introduces the use of symbolic computation (also known as computer algebra) in stochastic analysis and particularly in the Itô calculus. Two related examples are considered: the Clifford-Green theorem on random Gaussian triangles, and a generalization of the D. G. Kendall theorem on the kinematics of shape.
The Clifford–Green theorem gives a remarkable characterization of the joint distribution of the squared-side-lengths of n independent Gaussian points in n-space, namely that this distribution is that of n independent exponential random variables conditioned to satisfy all the inequalities requisite if they are to arise as squared-side-lengths from a point-set in n-space. The D. G. Kendall theorem on the diffusion of shape identifies the statistics of the diffusion arising (under a time-change) as the shape of a triangle whose vertices diffuse by Brownian motion in 2-space or 3-space.
Symbolic Itô calculus is used to give a new proof of the Clifford-Green theorem, and to generalize the D. G. Kendall theorem to the case of triangles in higher-dimensional space whose vertices diffuse either according to Brownian motion or according to an Ornstein–Uhlenbeck process.