|
|
|
|
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.  |
ThEdu@CADE  |
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. |
ThEdu@CADE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Eisenhofer, Martin Riener |
Automated Instantiation of Control Flow Tracing Exercises. |
ThEdu@CADE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | John Tang Boyland |
Evolution of SASyLF 2008-2021. |
ThEdu@CADE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Kovács, Róbert Vajda |
Symbolic Comparison of Geometric Quantities in GeoGebra. |
ThEdu@CADE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Quaresma, Vanda Santos |
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools. |
ThEdu@CADE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn |
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. |
ThEdu@CADE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Kovács, Jonathan H. Yu |
Automated Discovery of Geometrical Theorems in GeoGebra. |
ThEdu@CADE |
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. |
ThEdu@CADE |
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. |
ThEdu@CADE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen |
Teaching a Formalized Logical Calculus. |
ThEdu@CADE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Baeta, Pedro Quaresma, Zoltán Kovács |
Towards a Geometry Automated Provers Competition. |
ThEdu@CADE |
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. |
ThEdu@CADE |
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. |
ThEdu@CADE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Winkler, Aart Middeldorp |
Tools in Term Rewriting for Education. |
ThEdu@CADE |
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. |
ThEdu@CADE |
2018 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Böhne, Christoph Kreitz |
Learning how to Prove: From the Coq Proof Assistant to Textbook Style. |
ThEdu@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull |
Natural Deduction and the Isabelle Proof Assistant. |
ThEdu@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Font, Philippe R. Richard, Michel Gagnon |
Improving QED-Tutrix by Automating the Generation of Proofs. |
ThEdu@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arno Ehle, Norbert Hundeshagen, Martin Lange |
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. |
ThEdu@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Frank 0002, Christoph Kreitz |
A Theorem Prover for Scientific and Educational Purposes. |
ThEdu@CADE |
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. |
ThEdu@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Krempler, Walther Neuper |
Prototyping "Systems that Explain Themselves" for Education. |
ThEdu@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Leach-Krouse |
Carnap: An Open Framework for Formal Reasoning in the Browser. |
ThEdu@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Quaresma, Vanda Santos, Nuno Baeta |
Exchange of Geometric Information Between Applications. |
ThEdu@CADE |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license