Selected Regular Lectures from the 12th International Congress on Mathematical Education pp 695-713 | Cite as

# Computer Aided Assessment of Mathematics Using STACK

## 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.

## Keywords

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