A comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy

R Bradford, JH Davenport, Christopher Sangwin

Research output: Contribution to journal › Article › peer-review

6 Citations (Scopus)

Original language	English
Pages (from-to)	75-89
Number of pages	15
Journal	Proceeding of Calculemus, number 5625 in Lecutrue Notes in Artificial Intelligence
DOIs	https://doi.org/10.1007/978-3-642-02614-0_11
Publication status	Published - 1 Jan 2009

Access to Document

@article{785e36cc634b41b7a5ba3d5814e41167,

title = "A comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy",

author = "R Bradford and JH Davenport and Christopher Sangwin",

year = "2009",

month = jan,

day = "1",

doi = "10.1007/978-3-642-02614-0_11",

language = "English",

pages = "75--89",

journal = "Proceeding of Calculemus, number 5625 in Lecutrue Notes in Artificial Intelligence",

}

TY - JOUR

T1 - A comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy

AU - Bradford, R

AU - Davenport, JH

AU - Sangwin, Christopher

PY - 2009/1/1

Y1 - 2009/1/1

U2 - 10.1007/978-3-642-02614-0_11

DO - 10.1007/978-3-642-02614-0_11

M3 - Article

SP - 75

EP - 89

JO - Proceeding of Calculemus, number 5625 in Lecutrue Notes in Artificial Intelligence

JF - Proceeding of Calculemus, number 5625 in Lecutrue Notes in Artificial Intelligence

ER -