"MiGen: Intelligent Support for Mathematical Generalisation" was a project funded with £1.25+m from the ESRC/EPSRC Technology Enhanced Learning Programme from October 2007 to June 2011.

Project aims
The project's primary aim was to tackle a thorny problem that confronts all teachers of mathematics: What is algebra for? How is it useful for expressing generalisations? What does it mean to generalise in mathematics?

The MiGen project responded to these challenges by developing an intelligent environment to support teachers in improving 11-14 year-old students’ learning of mathematical generalisation. The project comprised an interdisciplinary research team of social, educational and computer scientists, working in close collaboration with several secondary schools and with networks of teachers coordinated by the London Mathematics Centre at IOE, the London regional hub of the National Centre for Excellence in Teaching of Mathematics.