Return to Article Details Alan Bundy: The computer modelling of mathematical reasoning.