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

@inproceedings{Bradford2009ACO,
  title={A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy},
  author={Russell J. Bradford and James H. Davenport and Christopher J. Sangwin},
  booktitle={Calculemus/MKM},
  year={2009}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-5 OF 5 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-9 OF 9 REFERENCES

An Expression Formatter for Macsyma, http://math.nist.gov/~BMiller/computer-algebra

A. Tucker
  • Report of the AMS FirstYear Task Force. Notices AMS,
  • 2009
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

A Pocket Map of Algebraic Manipulation, The Mathematical Association

T. Barnard
  • 1999
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Report of the AMS First - Year Task Force

J. Carette, J. Lewis, A. Tucker
  • Notices AMS
  • 2009

WeBWorK : Generating , delivering , and checking math homework via the Internet , in Proceedings ICTM 2 international congress for teaching of mathematics at the undergraduate level

J. Gutierrez, M. Gage, A. Pizer, V. Roth
  • 2002