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:10.1.1.25.4339.
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.
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.
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.
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.
A. Bundy (2005):
Rippling: Meta-Level Guidance for Mathematical Reasoning.
Cambridge Tracts in Theoretica.
Cambridge University Press,
doi:10.1017/CBO9780511543326.
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.
Ed Dubinsky (1986):
Teaching mathematical induction 1.
The journal of mathematical behavior 5(3),
pp. 305–317.
Douglas E. Ensley & J Winston Crawley (2006):
Discrete Mathematics with Student Solutions Manual Set.
Wiley.
Paul Ernest (1984):
Mathematical induction: A pedagogical discussion.
Educational Studies in Mathematics 15(2),
pp. 173–189,
doi:10.1007/BF00305895.
George Goguadze (2010):
ActiveMath - generation and reuse of interactive exercises using domain reasoners and automated tutorial strategies,
doi:10.22028/D291-26097.
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.
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.
John Hattie & Helen Timperley (2007):
The power of feedback.
Review of Educational Research 77(1),
pp. 81–112,
doi:10.3102/00346543029848.
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.
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 http://dl.acm.org/citation.cfm?id=1434925.1434928.
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.
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.
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.
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.
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.
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.
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.
Peter-Michael Osera & Steve Zdancewic (2013):
Teaching Induction with Functional Programming and a Proof Assistant..
In: SPLASH Educators Symposium (SPLASH-E), 2013.
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.
Margrital Pavlekovi\`c (1998):
An approach to mathematical induction - starting from the early stages of teaching mathematics.
Mathematical communcations,
pp. 135–142.
Available at https://hrcak.srce.hr/1798.
Irene Polycarpou (2008):
An Innovative Approach to Teaching Structural Induction for Computer Science.
Florida International University,
doi:10.25148/etd.FI08121912.
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.