References
- O'Shea T, Self J. Learning and teaching with computers. Brighton: Harvester Press;1983.
- Crowe D, Zand H. Computers and undergraduate mathematics: 1: setting the scene. Comput Educ. 2000;35(2):95–121.
- Crowe D, Zand H. Computers and undergraduate mathematics 3: internet resources. Comput Educ. 2000;35(2):123–147.
- Crowe D, Zand H. Computers and undergraduate mathematics 2: on the desktop. Comput Educ. 2000;37(3–4):317–344.
- Lavicza Z. Integrating technology into mathematics teaching at the university level. ZDM: Int J Sci Math Educ. 2010;42(1):105–119.
- Drijvers PHM. Learning algebra in a computer algebra environment. Utrecht: Freudenthal Institute; 2003.
- Greiffenhagen C. The materiality of mathematics: presenting mathematics at the blackboard. Br J Sociol. 2014;65(3):502–528.
- Wing JM. Computational thinking and thinking about computing. Phil Trans R Soc A. 2008; 366:3717–3725.
- Lawson D, Arrowsmith D, Bailey T, et al. Mathematics, statistics and operational research. Gloucester: The Quality Assurance Agency for Higher Education; 2015.
- Robins A, Rountree J, Rountree N. Learning and teaching programming: a literature review. Comput Sci Educ. 2003;13(2):137–172.
- Pears A, Seidman S, Malmi L, et al. A survey of literature on the teaching of introductory programming. SIGCSE Bull. 2007;39(4):204–223.
- McCauley R, Grissom S, Fitzgerald S, et al. Teaching and learning recursive programming: a review of the research literature. Comput Sci Educ. 2015;25(1):37–66.
- Jan Vahrenhold J, Paul W. Developing and validating test items for first-year computer science courses. Comput Sci Educ. 2014;24(4):304–333.
- Herman GL, Zilles C, Loui MC. A psychometric evaluation of the digital logic concept inventory. Comput Sci Educ. 2014;24(4):277–303.
- Taylor C, Zingaro D, Porter L, et al. Computer science concept inventories: past and future. Comput Sci Educ. 2014;24(4):253–276.
- DfE. Computing programmes of study: key stages 1 and 2. London: Department for Education; 2013. (National curriculum in England DFE-00171-2013).
- DfE. Computing programmes of study: key stages 3 and 4. London: Department for Education; 2013. (National curriculum in England DFE-00191-2013).
- Upton E. Raspberry Pi. Computer. 2013;46(10):14–16.
- Coe R, Searle J, Barmby P, et al. Relative difficulty of examinations in different subjects. Science Community Supporting Education. Durham: CEM Centre, Durham University; 2008.
- Lord K, Stripp C. Improving access for state-school students. Math Today. 2015;302:80–82.
- Noyes A, Adkins M. Reconsidering the rise in A-level mathematics participation. Teach Math Appl. 2016;35(1):1–13.
- Shadbolt N. Shadbolt review of computer sciences degree accreditation and graduate employability. London: Department for Business, Innovation and Skills; 2016.
- Barry MDJ, Steele NC. A core curriculum in mathematics for the European engineer. Plymouth: Société Européenne pour la Formation des Ingenieurs (SEFI); 1992. (Report No.: 92.1).
- Alpers B. http://sefi.htw-aalen.de/A framework for mathematics curricula in engineering education: a report of the mathematics working group. Brussels: SEFI Mathematics Working Group; 2013. ISBN 978-2-87352-007-6.
- Iannone P, Simpson A. Mapping university mathematics assessment practices. Norwick: University of East Anglia; 2012.
- Stoutemyer DR. Computer symbolic math and education: a radical proposal. Bull Special Interest Group Symbolic Algebraic Manipul Assoc Comput Mach. 1979;13(2):8–24.
- Guin D, Ruthven K, Trouche L. The didactical challenge of symbolic calculators: turning a computational device into a mathematical instrument. Vol. 36, Mathematics education library. New York (NY): Springer; 2005.
- Hoyles C, Lagrange J, editors. Mathematics education and technology – rethinking the terrain. Vol. 17, ICMI study. New York (NY): Springer; 2010.
- Trouche L, Drijvers P. Webbing and orchestration. Two interrelated views on digital tools in mathematics education. Teach Math Appl. 2014;33(3):193–209.
- Doets K, van Eijck J. The Haskell road to logic, maths and programming. Vol. 4, Texts in computing. London: Kings College Publications; 2004.
- Bertot Y, Castéran P. Interactive theorem proving and program development. coq'art: the calculus of inductive constructions. Berlin: Springer; 2004. (Texts in theoretical computer science).
- Dorn B, Tew E. Empirical validation and application of the computing attitudes survey. Comput Sci Educ. 2015;25(1):1–36.
- Valentine JC, DuBois DL, Cooper H. The relation between self-beliefs and academic achievement: a meta-analytic review. Educ Psychol. 2004;39(2):111–133.