A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy.
Russell J. BradfordJames H. DavenportChristopher J. SangwinPublished in: Calculemus/MKM (2009)
Keyphrases
- computer algebra
- computer algebra systems
- theorem prover
- automated theorem provers
- learning process
- real time
- instructional design
- collaborative learning
- case study
- e learning
- multiscale
- supervised learning
- similarity measure
- mathematical models
- educational technology
- equivalence relation
- information retrieval
- neural network
- database