For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

University of Bath

Return to search Previous output Next output
Output 0 of 0 in the submission
Output title

A comparison of equality in computer algebra and correctness in mathematical pedagogy

Type
E - Conference contribution
Name of conference/published proceedings
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
Volume number
5625
Issue number
2
First page of article
75
ISSN of proceedings
0302-9743
Year of publication
2009
Number of additional authors
2
Additional information

<12>This work has provided input into STACK, a system for computer-aided assessment in mathematics (co-author Sangwin is a developer of STACK), used by thousands of students worldwide, including at the Universities of Birmingham and Manchester and the Open University in the UK, Nagoya in Japan, Aalto in Finland, and the Polytechnic Institute of Leiria, Portugal - see http://mathstore.ac.uk/headocs/WhoUsesSTACK.pdf

Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-