1. Andreas Abel, Bor-Yuh Evan Chang & Frank Pfenning (2001): Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic. In: Uwe Egly, Armin Fiedler, Helmut Horack & Stephan Schmitt: Proceedings of the Workshop on Proof Transformations, Proof Presentations, and Complexity of Proofs, Siena 2001, pp. 37–50, doi:
  2. Raymond Aubin (1979): Mechanizing structural induction part I: Formal system. Theoretical Computer Science 9(3), pp. 329 – 345, doi:10.1016/0304-3975(79)90034-3.
  3. Shmuel Avital & Shlomo Libeskind (1978): Mathematical induction in the classroom: Didactical and mathematical issues. Educational Studies in Mathematics, pp. 429–438, doi:10.1007/BF00410588.
  4. William Billingsley & Peter Robinson (2007): Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book. Journal of Automated Reasoning 39(2), pp. 181–218, doi:10.1007/s10817-007-9072-3.
  5. R.S. Boyer & J.S. Moore (1998): A Computational Logic Handbook. Academic Press International series in Formal Methods. Academic Press, doi:10.1016/C2013-0-10412-6.
  6. A. Bundy (2005): Rippling: Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretica. Cambridge University Press, doi:10.1017/CBO9780511543326.
  7. Alan Bundy (2001): The Automation of Proof by Mathematical Induction. In: Handbook of Automated Reasoning (in 2 volumes), pp. 845–911, doi:10.1016/b978-044450813-3/50015-1.
  8. Ed Dubinsky (1986): Teaching mathematical induction 1. The journal of mathematical behavior 5(3), pp. 305–317.
  9. Douglas E. Ensley & J Winston Crawley (2006): Discrete Mathematics with Student Solutions Manual Set. Wiley.
  10. Paul Ernest (1984): Mathematical induction: A pedagogical discussion. Educational Studies in Mathematics 15(2), pp. 173–189, doi:10.1007/BF00305895.
  11. George Goguadze (2010): ActiveMath - generation and reuse of interactive exercises using domain reasoners and automated tutorial strategies, doi:10.22028/D291-26097.
  12. S. Gruttmann, D. Böhm & H. Kuchen (2008): E-Assessment of Mathematical Proofs — Chances and Challenges for Students and Tutors. In: Proceedings of the 2008 International Conference on Information Technology in Education, Wuhan,China, doi:10.1109/CSSE.2008.95.
  13. Guershon Harel (2001): The development of mathematical induction as a proof scheme: A model for DNR-based instruction. In: R. Zaksis S. Campbell: Learning and teaching number theory. Kluwer Academic, pp. 185–212, doi:10.1023/A:1023682216523.
  14. John Hattie & Helen Timperley (2007): The power of feedback. Review of Educational Research 77(1), pp. 81–112, doi:10.3102/00346543029848.
  15. Bastiaan Heeren & Johan Jeuring (2014): Feedback services for stepwise exercises. Science of Computer Programming, Special Issue on Software Development Concerns in the e-Learning Domain 88, pp. 110–129, doi:10.1016/j.scico.2014.02.021.
  16. Viswanathan Kodaganallur, Rob R. Weitz & David Rosenthal (2005): A Comparison of Model-Tracing and Constraint-Based Intelligent Tutoring Paradigms. Int. J. Artif. Intell. Ed. 15(2), pp. 117–144. Available at
  17. Georg Kreisel (1965): Mathematical logic. In: T Saaty: Lectures on modern mathematics 3. John Wiley & Sons, Inc., New York, London, and Sydney, pp. 95–195.
  18. Josje Lodder, Bastiaan Heeren & Johan Jeuring (2017): Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. In: Michael E. Caspersen, Stephen H. Edwards, Tiffany Barnes & Daniel D. Garcia: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, Seattle, WA, USA, March 8-11, 2017. ACM, pp. 387–392, doi:10.1145/3017680.3017736.
  19. Josje Lodder, Bastiaan Heeren & Johan Jeuring (2019): A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. Journal of Computer Assisted Learning 35(5), pp. 620–632, doi:10.1111/jcal.12365.
  20. Antonija Mitrovic (2012): Fifteen years of constraint-based tutors: what we have achieved and where we are going. User Modeling and User-Adapted Interaction 22(1), pp. 39–72, doi:10.1007/s11257-011-9105-9.
  21. Antonija Mitrovic, Brent Martin & Pramuditha Suraweera (2007): Intelligent Tutors for All: The Constraint-Based Approach. Intelligent Systems, IEEE 22, pp. 38–45, doi:10.1109/MIS.2007.74.
  22. Wolfgang Müller & Maren Hiob-Viertler (2010): Intelligent Assessment in Math Education for Complete Induction Problems. In: Xiaopeng Zhang, Shaochun Zhong, Zhigeng Pan, Kevin Wong & Ruwei Yun: Entertainment for Education. Digital Techniques and Systems: 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010. Proceedings. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 317–325, doi:10.1007/978-3-642-14533-9.
  23. Stellan Ohlsson (1994): Constraint-Based Student Modeling. In: Jim E. Greer & Gordon I. McCalla: Student Modelling: The Key to Individualized Knowledge-Based Instruction. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 167–189, doi:10.1007/978-3-662-03037-0.
  24. Peter-Michael Osera & Steve Zdancewic (2013): Teaching Induction with Functional Programming and a Proof Assistant.. In: SPLASH Educators Symposium (SPLASH-E), 2013.
  25. Marina Palla, Despina Potari & Panagiotis Spyrou (2012): Secondary school students’ understanding of mathematical induction: structural characteristics and the process of proof construction. International Journal of Science and Mathematics Education 10(5), pp. 1023–1045, doi:10.1007/s10763-011-9311-2.
  26. Margrital Pavlekovi\`c (1998): An approach to mathematical induction - starting from the early stages of teaching mathematics. Mathematical communcations, pp. 135–142. Available at
  27. Irene Polycarpou (2008): An Innovative Approach to Teaching Structural Induction for Computer Science. Florida International University, doi:10.25148/etd.FI08121912.
  28. Sandra Rebholz & Marc Zimmermann (2013): Applying Computer-Aided Intelligent Assessment in the Context of Mathematical Induction. In: Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Ido Iurgel, Paolo Petta & Bodo Urban: Transactions on Edutainment X, Lecture Notes in Computer Science 7775. Springer Berlin Heidelberg, pp. 191–201, doi:10.1007/978-3-642-37919-2_11.

Comments and questions to:
For website issues: