# 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

## Feedback services for stepwise exercises

VIEW 6 EXCERPTS

CITES BACKGROUND

HIGHLY INFLUENCED

## Equality in computer proof-assistants

VIEW 1 EXCERPT

CITES BACKGROUND

## Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System

VIEW 2 EXCERPTS

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-9 OF 9 REFERENCES

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

VIEW 9 EXCERPTS

HIGHLY INFLUENTIAL

## STACK: making many fine judgements rapidly

VIEW 7 EXCERPTS

HIGHLY INFLUENTIAL

## A Pocket Map of Algebraic Manipulation, The Mathematical Association

VIEW 3 EXCERPTS

HIGHLY INFLUENTIAL

## Canonical Forms in Interactive Exercise Assistants

VIEW 1 EXCERPT

## Report of the AMS First - Year Task Force

## Linear syntax for communicating elementary mathematics

VIEW 1 EXCERPT