Abstract
Assessment is a key component of all teaching and learning, and for many students is a key driver of their activity. This paper considers automatic computer aided assessment (CAA) of mathematics. With the rise of communications technology this is a rapidly expanding field. Publishers are increasingly providing online support for textbooks with automated versions of exercises linked to the work in the book. There are an expanding range of purely online resources for students to use independently of formal instruction. There are a range of commercial and open source systems with varying levels of mathematical and pedagogic sophistication.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Appleby, J., Samuels, P. C., & Jones, T. T. (1997). DIAGNOSYS—a knowledge-based diagnostic test of basic mathematical skills. Computers in Education, 28, 113–131.
Ashton, H. S., Beevers, C. E., Korabinski, A. A., & Youngson, M. A. (2006). Incorporating partial credit in computer-aided assessment of mathematics in secondary education. British Journal of Educational Technology, 27(1), 93–119.
Babbage, C. (1827). On the influence of signs in mathematical reasoning. Transactions of the Cambridge Philosophical Society, II, 325–377.
Badger, M., & Sangwin, C. (2011). My equations are the same as yours!: Computer aided assessment using a Gröbner basis approach. In A. A. Juan, M. A. Huertas, & C. Steegmann (Eds.), Teaching mathematics online: Emergent technologies and methodologies. IGI Global.
Beeson, M. (2003). The Mechanization of mathematics. In Alan Turing: Life and legacy of a great thinker. (pp. 77–134). Berlin: Springer.
Beevers, C. E., Cherry, B. S. G., Foster, M. G., & McGuire, G. R. M. (1991). Software tools for computer aided learning in mathematics. Avebury Technical.
Burton, R. R. (1982). Diagnosing bugs in a simple procedural skill. In D. Sleeman & J. S. Brown (Eds.), Intelligent tutoring systems (pp. 157–183). Academic Press.
Caviness, B. F. (1970). On canonical forms and simplification. Journal of the ACM, 17(2), 385–396.
Euler, L. (1990). Introduction to analysis of the infinite (Vol. II). Springer. (Translated by Blanton, J. from the Latin Introductio in Analysin Infinitorum, 1748).
Fenichel, R. R. (1966). An on-line system for algebraic manipulation. Ph. D thesis, Harvard Graduate School of Arts and Sciences.
Fitch, J. (1973). On algebraic simplification. Computer Journal, 16(1), 23–27.
Hollingsworth, J. (1960). Automatic graders for programming classes. Communications of the ACM, 3(10), 528–529.
Kirshner, D. (1989). The visual syntax of algebra. Journal for Research in Mathematics Education, 20(3), 274–287.
Lawson, D. (2003). Diagnostic testing for mathematics. LTSN MathsTEAM Project.
Matiyasevich, Y. (1993). Hilbert’s tenth problem. Cambridge: MIT.
Moses, J. (1971). Algebraic simplification a guide for the perplexed. Communications of the ACM, 14(8), 527–537.
Noss, R., & Hoyles, C. (1996). Windows on mathematical meanings: Learning cultures and computers. Berlin: Springer.
Papert, S. (1980). Mindstorms: Children, computers and powerful ideas. Harper Collins.
Rasila, A., Havola, L., Majander, H., & Malinen, J. (2010). Automatic assessment in engineering mathematics: Evaluation of the impact. In Reflektori 2010: Symposium of engineering education, Aalto University, Finland.
Richardson, D. (1966). Solvable and unsolvable problems involving elementary functions of a real variable. Unpublished doctoral dissertation, University of Bristol.
Sangwin, C. J. (2010). Who uses STACK? A report on the use of the STACK CAA system (Tech. Rep.). The Maths, Stats and OR Network, School of Mathematics, The University of Birmingham.
Sangwin, C. J. (2011). Limit-free derivatives. The Mathematical Gazette, 534, 469–482.
Sangwin, C. J. (2013). Computer aided assessment of mathematics, Oxford: Oxford University Press.
Sangwin, C. J., & Grove, M. J. (2006). STACK: addressing the needs of the “neglected learners”. In Proceedings of the First WebALT Conference and Exhibition January 5–6, Technical University of Eindhoven, Netherlands (pp. 81–95). Oy WebALT Inc, University of Helsinki, ISBN 952-99666-0-1.
Sangwin, C. J., & Ramsden, P. (2007). Linear syntax for communicating elementary mathematics. Journal of Symbolic Computation, 42(9), 902–934.
Sleeman, D., & Brown, J. S. (Eds.). (1982). Intelligent tutoring systems. Academic Press.
Strickland, N. (2002). Alice interactive mathematics. . MSOR Connections, 2(1), 27–30.
Suppes, P. (1967). Some theoretical models for mathematics teaching. Journal of Research and Development in Education, 1, 5–22.
Watson, A., & Mason, J. (2002). Student-generated examples in the learning of mathematics. Canadian Journal for Science, Mathematics and Technology Education, 2(2), 237–249.
Wester, M. (1999). Computer algebra systems: A practical guide. Wiley. Chapman, O. (2003). Facilitating peer interactions in learning mathematics: Teachers’ practical knowledge. In M. J. Hψines & A. B. Fuglestad (Eds.), Proceedings 28th Conference of the International Group for the Psychology of Mathematics Education (Vol. 2, pp. 191–198). Bergen, Norway: PME.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Sangwin, C. (2015). Computer Aided Assessment of Mathematics Using STACK. In: Cho, S. (eds) Selected Regular Lectures from the 12th International Congress on Mathematical Education. Springer, Cham. https://doi.org/10.1007/978-3-319-17187-6_39
Download citation
DOI: https://doi.org/10.1007/978-3-319-17187-6_39
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-17186-9
Online ISBN: 978-3-319-17187-6
eBook Packages: Humanities, Social Sciences and LawEducation (R0)