Roberts, A.2010-03-112010-03-112010http://hdl.handle.net/2440/56616The computer algebra routines documented here empower you to reproduce and check many of the details described by an article on large deviations for slow-fast stochastic systems [Wang et al., 2010]. We consider a `small' spatial domain with two coupled concentration fields, one governed by a `slow' reaction-diffusion equation and one governed by a stochastic `fast' linear equation. In the regime of a stochastic bifurcation, we derive two superslow models of the dynamics: the first is of the averaged model of the slow dynamics derived via large deviation principles; and the second is of the original fast-slow dynamics. Comparing the two superslow models validates the averaging in the large deviation principle in this parameter regimeenComputer algebrastochastic partial differential equationsstochastic centre manifoldslow-fast systemslarge deviationsComputer algebra compares the stochastic superslow manifold of an averaged SPDE with that of the original slow-fast SPDEReport00300011732010012510321597 Expanding Knowledge9701 Expanding Knowledge970101 Expanding Knowledge in the Mathematical Sciences01 Mathematical Sciences0102 Applied Mathematics010204 Dynamical Systems in Applications65179Roberts, A. [0000-0001-8930-1552]