|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | João Marcos 0001, Walther Neuper, Pedro Quaresma (eds.) |
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Merlin Carl, Hinrich Lorenzen, Michael Schmitz |
Natural Language Proof Checking in Introduction to Proof Classes - First Experiences with Diproche. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021., pp. 59-70, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Eisenhofer, Martin Riener |
Automated Instantiation of Control Flow Tracing Exercises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021., pp. 43-58, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | John Tang Boyland |
Evolution of SASyLF 2008-2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021., pp. 87-107, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Kovács, Róbert Vajda |
Symbolic Comparison of Geometric Quantities in GeoGebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021., pp. 13-25, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Quaresma, Vanda Santos |
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021., pp. 27-42, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn |
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021., pp. 71-85, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Kovács, Jonathan H. Yu |
Automated Discovery of Geometrical Theorems in GeoGebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021., pp. 1-12, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Quaresma, Walther Neuper, João Marcos 0001 (eds.) |
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Font, Sébastien Cyr, Philippe R. Richard, Michel Gagnon |
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019., pp. 1-16, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen |
Teaching a Formalized Logical Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019., pp. 73-92, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Baeta, Pedro Quaresma, Zoltán Kovács |
Towards a Geometry Automated Provers Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019., pp. 93-100, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Rafael P. D. Kiesel, Alexandra Dzhiganskaya |
A Mobile Application for Self-Guided Study of Formal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019., pp. 35-53, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Josje Lodder, Bastiaan Heeren, Johan Jeuring |
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019., pp. 17-34, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Winkler, Aart Middeldorp |
Tools in Term Rewriting for Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019., pp. 54-72, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Quaresma, Walther Neuper (eds.) |
Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Sebastian Böhne, Christoph Kreitz |
Learning how to Prove: From the Coq Proof Assistant to Textbook Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 1-18, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull |
Natural Deduction and the Isabelle Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 140-155, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Font, Philippe R. Richard, Michel Gagnon |
Improving QED-Tutrix by Automating the Generation of Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 38-58, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arno Ehle, Norbert Hundeshagen, Martin Lange |
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 19-37, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mario Frank 0002, Christoph Kreitz |
A Theorem Prover for Scientific and Educational Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 59-69, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst |
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 120-139, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alan Krempler, Walther Neuper |
Prototyping "Systems that Explain Themselves" for Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 89-107, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Graham Leach-Krouse |
Carnap: An Open Framework for Formal Reasoning in the Browser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 70-88, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Quaresma, Vanda Santos, Nuno Baeta |
Exchange of Geometric Information Between Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 108-119, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|