Stochastic Computer Algebra System