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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5625 LNAI, Issue , 2009, Pages 75-89

  Bradford, Russell ^a   Davenport, James H ^a   Sangwin, Christopher J ^b  

^a University of Bath   (United Kingdom)

^b School of Mathematics and Statistics   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ALGEBRA;

KNOWLEDGE MANAGEMENT;

MATHEMATICAL TECHNIQUES;

EID: 69049087815     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02614-0_11     Document Type: Conference Paper

References (34)

1. Ashton, H., Beevers, C.E., Koraninski, A.A., Youngson, M.A.: Incorporating partial credit in computer aided assessment of mathematics in secondary education. British Journal of Educational Technology 37, 93-119 (2006)
2. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1984)
3. Belhoste, B.: Historique des classes préparatoires. Exposé au Colloque de l'UPS (2003), ftp://trf.education.gouv.fr/pub/edutel/sup/cpge/ historique.pdf
4. Bergen Conference of European Ministers Responsible for Higher Education. The framework of qualifications for the European Higher Education Area (2005), http://www.bologna-bergen2005.no/EN/BASIC/050520-Framework-qualifications.pdf
5. Bradford, R.J., Davenport, J.H.: Towards Better Simplification of Elementary Functions. In: Mora, T. (ed.) Proceedings ISSAC 2002, pp. 15-22 (2002)
6. Cajori, F.: A history of mathematical notations. Open Court (1928)
7. Cannon, J., Playoust, C.: An Introduction to MAGMA. Springer, Heidelberg (1997)
8. Carette, J.: Understanding expression simplification. In: Gutierrez, J. (ed.) Proceedings of ISSAC 2004, pp. 72-79 (2004)
9. Chaachoua, H., Nicaud, J.F., Bronner, A., Bouhineau, D.: APLUSIX, a learning environment for algebra, actual use and benefits. In: Proceedings of the International Congress on Mathematics Education (ICME-10), Copenhagen, Denmark (2004)
10. Char, B.W., Geddes, K.O., Gentleman, M.W., Gonnet, G.H.: The Design of MAPLE: A Compact, Portable and Powerful Computer Algebra System. In: van Hulzen, J.A. (ed.) ISSAC 1983 and EUROCAL 1983. LNCS, vol. 162, pp. 101-115. Springer, Heidelberg (1983)
11. World-Wide Web Consortium. Mathematical Markup Language (MathML) Version 2.0, 2nd edn. (2003), http://www.w3.org/TR/MathML2/
12. Davenport, J.H.: Equality in computer algebra and beyond. J. Symbolic Comp. 34, 259-270 (2002)
13. Davenport, J.H., Libbrecht, P.: The Freedom to Extend OpenMath and its Utility. Mathematics in Computer Science (to appear, 2009)
14. Davenport, J.H., Siret, Y., Tournier, E.: Computer Algebra, 2nd edn. Academic Press, London (1993)
15. Doye, N.J.: Automated Coercion for Axiom. In: Dooley, S. (ed.) Proceedings ISSAC 1999, pp. 229-235 (1999)
16. Gage, M., Pizer, A., Roth, V.: WeBWorK: Generating, delivering, and checking math homework via the Internet. In: Proc. ICTM2 international congress for teaching of mathematics at the undergraduate level (2002), http://www.math.uoc.gr/̃ictm2/Proceedings/pap189.pdf
17. Goguen, J.A., Meseguer, J.: Order-sorted Algebra I: Equational deduction for multiple inheritance, polymorphism and partial operations. Theor. Comp. Sci. 105, 217-293 (1992)
18. Jenks, R.D., Sutor, R.S.: AXIOM: The Scientific Computation System. Springer, Heidelberg (1992)
19. Kahrimanian, H.G.: Analytic differentiation by a digital computer. M.A. Thesis, Temple University (1953)
20. Klai, S., Kolokolnikov, T., Van den Bergh, N.: Using Maple and the web to grade mathematics tests. In: Proceedings of the International Workshop on Advanced Learning Technologies, Palmerston North, New Zealand, December 4-6 (2000)
21. Kluger, A.N., DeNisi, A.: Effects of feedback intervention on performance: A historical review, a meta-analysis, and a preliminary feedback intervention theory. Psychological Bulletin 119(2), 254-284 (1996)
22. Nolan, J.: Analytic differentiation on a digital computer. M.A. Thesis, M.I.T. (1953)
23. O'Shea, T.: A self improving quadratic tutor. In: Sleeman, D., Brown, J.S. (eds.) Intelligent Tutoring Systems, ch. 13, pp. 309-336. Kluwer, Dordrecht (1982)
24. Ramsden, P.: Fresh Questions, Free Expressions: METRIC's Web-based Self-test Exercises. Maths Stats and OR Network online CAA series (June 2004), http://www.mathstore.ac.uk/repository/mathscaa-jun2004.pdf
25. Recorde, R.: The Whetstone of Witte. J. Kyngstone, London (1557)
26. Richardson, D.: Some Unsolvable Problems Involving Elementary Functions of a Real Variable. Journal of Symbolic Logic 33, 514-520 (1968)
27. Sangwin, C.J.: STACK: making many fine judgements rapidly. In: CAME (2007)
28. Sangwin, C.J.: What is a Mathematical Question? In: Proceedings of the JEM conference, Lisbon (Feburary 2007)
29. Sangwin, C.J., Ramsden, P.: Linear syntax for communicating elementary mathematics. Journal of Symbolic Computation 42(9), 902-934 (2007)
30. Stratford, J.D., Davenport, J.H.: Unit Knowledge Management. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS, vol. 5144, pp. 382-397. Springer, Heidelberg (2008)
31. Strickland, N.: Alice interactive mathematics. MSOR Connections 2(1), 27-30 (2002), http://ltsn.mathstore.ac.uk/newsletter/feb2002/pdf/aim.pdf
32. Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques. ACM TOPLAS 4, 711-732 (1982)
33. Tuckey, C.O.: Examples in Algebra. Bell & Sons, London (1904)
34. Tuckey, C.O.: The teaching of algebra in schools. A Report for the Mathematical Association. G. Bell & Sons (1934)