Computer Aided Assessment of Mathematics Using STACK

  • Christopher SangwinEmail author


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.


Multiple Choice Question Computer Algebra Answer Test Content Management System Open Source System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 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.CrossRefGoogle Scholar
  2. 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.CrossRefGoogle Scholar
  3. Babbage, C. (1827). On the influence of signs in mathematical reasoning. Transactions of the Cambridge Philosophical Society, II, 325–377.Google Scholar
  4. 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.Google Scholar
  5. Beeson, M. (2003). The Mechanization of mathematics. In Alan Turing: Life and legacy of a great thinker. (pp. 77–134). Berlin: Springer.Google Scholar
  6. 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.Google Scholar
  7. 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.Google Scholar
  8. Caviness, B. F. (1970). On canonical forms and simplification. Journal of the ACM, 17(2), 385–396.CrossRefGoogle Scholar
  9. Euler, L. (1990). Introduction to analysis of the infinite (Vol. II). Springer. (Translated by Blanton, J. from the Latin Introductio in Analysin Infinitorum, 1748).Google Scholar
  10. Fenichel, R. R. (1966). An on-line system for algebraic manipulation. Ph. D thesis, Harvard Graduate School of Arts and Sciences.Google Scholar
  11. Fitch, J. (1973). On algebraic simplification. Computer Journal, 16(1), 23–27.CrossRefGoogle Scholar
  12. Hollingsworth, J. (1960). Automatic graders for programming classes. Communications of the ACM, 3(10), 528–529.CrossRefGoogle Scholar
  13. Kirshner, D. (1989). The visual syntax of algebra. Journal for Research in Mathematics Education, 20(3), 274–287.CrossRefGoogle Scholar
  14. Lawson, D. (2003). Diagnostic testing for mathematics. LTSN MathsTEAM Project.Google Scholar
  15. Matiyasevich, Y. (1993). Hilbert’s tenth problem. Cambridge: MIT.Google Scholar
  16. Moses, J. (1971). Algebraic simplification a guide for the perplexed. Communications of the ACM, 14(8), 527–537.CrossRefGoogle Scholar
  17. Noss, R., & Hoyles, C. (1996). Windows on mathematical meanings: Learning cultures and computers. Berlin: Springer.Google Scholar
  18. Papert, S. (1980). Mindstorms: Children, computers and powerful ideas. Harper Collins.Google Scholar
  19. 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.Google Scholar
  20. Richardson, D. (1966). Solvable and unsolvable problems involving elementary functions of a real variable. Unpublished doctoral dissertation, University of Bristol.Google Scholar
  21. 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.Google Scholar
  22. Sangwin, C. J. (2011). Limit-free derivatives. The Mathematical Gazette, 534, 469–482.Google Scholar
  23. Sangwin, C. J. (2013). Computer aided assessment of mathematics, Oxford: Oxford University Press.Google Scholar
  24. 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.Google Scholar
  25. Sangwin, C. J., & Ramsden, P. (2007). Linear syntax for communicating elementary mathematics. Journal of Symbolic Computation, 42(9), 902–934.CrossRefGoogle Scholar
  26. Sleeman, D., & Brown, J. S. (Eds.). (1982). Intelligent tutoring systems. Academic Press.Google Scholar
  27. Strickland, N. (2002). Alice interactive mathematics. . MSOR Connections, 2(1), 27–30.CrossRefGoogle Scholar
  28. Suppes, P. (1967). Some theoretical models for mathematics teaching. Journal of Research and Development in Education, 1, 5–22.Google Scholar
  29. 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.CrossRefGoogle Scholar
  30. 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.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.University of BirminghamBirminghamUK

Personalised recommendations