Andreas Abel
Bor-Yuh Evan Chang
Frank Pfenning
2001
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic
Uwe Egly
Armin Fiedler
Helmut Horack
Stephan Schmitt
Proceedings of the Workshop on Proof Transformations, Proof Presentations, and Complexity of Proofs, Siena 2001
37–50
10.1.1.25.4339
Raymond Aubin
1979
Mechanizing structural induction part I: Formal system
Theoretical Computer Science
9
3
329 – 345
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
429–438
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
181–218
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
10.1016/C2013-0-10412-6
A. Bundy
2005
Rippling: Meta-Level Guidance for Mathematical Reasoning
Cambridge Tracts in Theoretica
Cambridge University Press
10.1017/CBO9780511543326
Alan Bundy
2001
The Automation of Proof by Mathematical Induction
Handbook of Automated Reasoning (in 2 volumes)
845–911
10.1016/b978-044450813-3/50015-1
Ed Dubinsky
1986
Teaching mathematical induction 1
The journal of mathematical behavior
5
3
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
173–189
10.1007/BF00305895
George Goguadze
2010
ActiveMath - generation and reuse of interactive exercises using domain reasoners and automated tutorial strategies
10.22028/D291-26097
S. Gruttmann
D. Böhm
H. Kuchen
2008
E-Assessment of Mathematical Proofs — Chances and Challenges for Students and Tutors
Proceedings of the 2008 International Conference on Information Technology in Education
Wuhan,China
10.1109/CSSE.2008.95
Guershon Harel
2001
The development of mathematical induction as a proof scheme: A model for DNR-based instruction
R. Zaksis S. Campbell
Learning and teaching number theory
Kluwer Academic
185–212
10.1023/A:1023682216523
John Hattie
Helen Timperley
2007
The power of feedback
Review of Educational Research
77
1
81–112
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
110–129
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
117–144
http://dl.acm.org/citation.cfm?id=1434925.1434928
Georg Kreisel
1965
Mathematical logic
T Saaty
Lectures on modern mathematics
3
John Wiley & Sons, Inc., New York, London, and Sydney
95–195
Josje Lodder
Bastiaan Heeren
Johan Jeuring
2017
Generating Hints and Feedback for Hilbert-style Axiomatic Proofs
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
387–392
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
620–632
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
39–72
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
38–45
10.1109/MIS.2007.74
Wolfgang Müller
Maren Hiob-Viertler
2010
Intelligent Assessment in Math Education for Complete Induction Problems
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
317–325
10.1007/978-3-642-14533-9
Stellan Ohlsson
1994
Constraint-Based Student Modeling
Jim E. Greer
Gordon I. McCalla
Student Modelling: The Key to Individualized Knowledge-Based Instruction
Springer Berlin Heidelberg
Berlin, Heidelberg
167–189
10.1007/978-3-662-03037-0
Peter-Michael Osera
Steve Zdancewic
2013
Teaching Induction with Functional Programming and a Proof Assistant.
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
1023–1045
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
135–142
https://hrcak.srce.hr/1798
Irene Polycarpou
2008
An Innovative Approach to Teaching Structural Induction for Computer Science
Florida International University
10.25148/etd.FI08121912
Sandra Rebholz
Marc Zimmermann
2013
Applying Computer-Aided Intelligent Assessment in the Context of Mathematical Induction
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
191–201
10.1007/978-3-642-37919-2_11