### Abstract

How do we recognize when an answer is “right”? This is a question that has bedevilled the use of computer systems in mathematics (as opposed to arithmetic) ever since their introduction. A computer system can certainly say that some answers are definitely wrong, in the sense that they are provably not an answer to the question posed. However, an answer can be mathematically right without being pedagogically right. Here we explore the differences and show that, despite the apparent distinction, it is possible to make many of the differences amenable to formal treatment, by asking “under which congruence is the pupil’s answer equal to the teacher’s?”.

Original language | English |
---|---|

Title of host publication | Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings |

Editors | J Carette, L Dixon, C Sacerdoti Coen, S M Watt |

Place of Publication | Berlin |

Publisher | Springer |

Pages | 75-89 |

Number of pages | 15 |

ISBN (Electronic) | 9783642026140 |

ISBN (Print) | 9783642026133 |

DOIs | |

Publication status | Published - 2009 |

Event | 8th International Conference on Mathematical Knowledge Management (MKM 2009) - Grand Bend, Ontario, Canada Duration: 10 Jul 2009 → 12 Jul 2009 |

### Publication series

Name | Lecture Notes in Computer Science |
---|---|

Publisher | Springer |

Number | 2 |

Volume | 5625 |

ISSN (Print) | 0302-9743 |

### Conference

Conference | 8th International Conference on Mathematical Knowledge Management (MKM 2009) |
---|---|

Country | Canada |

City | Grand Bend, Ontario |

Period | 10/07/09 → 12/07/09 |

## Fingerprint Dive into the research topics of 'A comparison of equality in computer algebra and correctness in mathematical pedagogy'. Together they form a unique fingerprint.

## Cite this

Bradford, R., Davenport, J. H., & Sangwin, C. J. (2009). A comparison of equality in computer algebra and correctness in mathematical pedagogy. In J. Carette, L. Dixon, C. Sacerdoti Coen, & S. M. Watt (Eds.),

*Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings*(pp. 75-89). (Lecture Notes in Computer Science; Vol. 5625, No. 2). Springer. https://doi.org/10.1007/978-3-642-02614-0_11