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