|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pedro Quaresma, João Marcos 0001, Walther Neuper (eds.) |
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022. |
ThEdu@FLoC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel |
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode. |
ThEdu@FLoC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ankit Kumar, Andrew T. Walter, Panagiotis Manolios |
Automated Grading of Automata with ACL2s. |
ThEdu@FLoC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joomy Korkut |
A Proof Tree Builder for Sequent Calculus and Hoare Logic. |
ThEdu@FLoC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thierry N. Dana-Picard |
Computer Assisted Proofs and Automated Methods in Mathematics Education. |
ThEdu@FLoC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joana Teles, Vanda Santos, Pedro Quaresma |
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools. |
ThEdu@FLoC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Frederik Krogsdal Jacobsen, Jørgen Villadsen |
On Exams with the Isabelle Proof Assistant. |
ThEdu@FLoC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Davi Romero de Vasconcelos |
ANITA: Analytic Tableau Proof Assistant. |
ThEdu@FLoC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Quaresma, Walther Neuper (eds.) |
Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018. |
ThEdu@FLoC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Walther Neuper |
Technologies for "Complete, Transparent & Interactive Models of Math" in Education. |
ThEdu@FLoC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Doré, Krysia Broda |
Towards Intuitive Reasoning in Axiomatic Geometry. |
ThEdu@FLoC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Baeta, Pedro Quaresma |
Towards Ranking Geometric Automated Theorem Provers. |
ThEdu@FLoC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Schreiner |
Theorem and Algorithm Checking for Courses on Logic and Formal Methods. |
ThEdu@FLoC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull |
Natural Deduction Assistant (NaDeA). |
ThEdu@FLoC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From |
Students' Proof Assistant (SPA). |
ThEdu@FLoC |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|