Introducing the SIGMA Mathematics Support Research Programme: http://www.sigma-cetl.ac.uk