default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/thedu:"
download as .bib file
@proceedings{DBLP:journals/corr/abs-2404-03709,
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.400},
doi = {10.4204/EPTCS.400},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-03709.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-13513,
author = {Jelle Wemmenhove and
Dick Arends and
Thijs Beurskens and
Maitreyee Bhaid and
Sean McCarren and
Jan Moraal and
Diego Rivera Garrido and
David Tuin and
Malcolm Vassallo and
Pieter Wils and
Jim Portegies},
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {Waterproof: Educational Software for Learning How to Write Mathematical
Proofs},
booktitle = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
pages = {96--119},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.400.7},
doi = {10.4204/EPTCS.400.7},
timestamp = {Sat, 06 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-13513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-17513,
author = {Merlin Carl},
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {Improving the Diproche {CNL} through autoformalization via {GPT-3}},
booktitle = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
pages = {44--58},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.400.4},
doi = {10.4204/EPTCS.400.4},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-17513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2304-06186,
author = {Merlin Carl},
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {Using large language models for (de-)formalization and natural argumentation
exercises for beginner's students},
booktitle = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
pages = {28--43},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.400.3},
doi = {10.4204/EPTCS.400.3},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-06186.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-05457,
author = {Christophe Scholliers},
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {WebPie: {A} Tiny Slice of Dependent Typing},
booktitle = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
pages = {2--27},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.400.2},
doi = {10.4204/EPTCS.400.2},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-05457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-05458,
author = {Simon Tobias Lund and
J{\o}rgen Villadsen},
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {Teaching Higher-Order Logic Using Isabelle},
booktitle = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
pages = {59--78},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.400.5},
doi = {10.4204/EPTCS.400.5},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-05458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-05459,
author = {Qinxiang Cao and
Xiwei Wu and
Yalun Liang},
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {A Coq Library of Sets for Teaching Denotational Semantics},
booktitle = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
pages = {79--95},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.400.6},
doi = {10.4204/EPTCS.400.6},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-05459.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-05462,
author = {Walther Neuper},
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {Interactive Formal Specification for Mathematical Problems of Engineers},
booktitle = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
pages = {120--138},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.400.8},
doi = {10.4204/EPTCS.400.8},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-05462.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2303-05360,
editor = {Pedro Quaresma and
Jo{\~{a}}o Marcos and
Walther Neuper},
title = {Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
2022},
series = {{EPTCS}},
volume = {375},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.375},
doi = {10.4204/EPTCS.375},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-05863,
author = {Joana Teles and
Vanda Santos and
Pedro Quaresma},
editor = {Pedro Quaresma and
Jo{\~{a}}o Marcos and
Walther Neuper},
title = {A Rule Based Theorem Prover: an Introduction to Proofs in Secondary
Schools},
booktitle = {Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
2022},
series = {{EPTCS}},
volume = {375},
pages = {24--37},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.375.3},
doi = {10.4204/EPTCS.375.3},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-05864,
author = {Davi Romero de Vasconcelos},
editor = {Pedro Quaresma and
Jo{\~{a}}o Marcos and
Walther Neuper},
title = {{ANITA:} Analytic Tableau Proof Assistant},
booktitle = {Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
2022},
series = {{EPTCS}},
volume = {375},
pages = {38--53},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.375.4},
doi = {10.4204/EPTCS.375.4},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-05865,
author = {Joomy Korkut},
editor = {Pedro Quaresma and
Jo{\~{a}}o Marcos and
Walther Neuper},
title = {A Proof Tree Builder for Sequent Calculus and Hoare Logic},
booktitle = {Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
2022},
series = {{EPTCS}},
volume = {375},
pages = {54--62},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.375.5},
doi = {10.4204/EPTCS.375.5},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-05866,
author = {Frederik Krogsdal Jacobsen and
J{\o}rgen Villadsen},
editor = {Pedro Quaresma and
Jo{\~{a}}o Marcos and
Walther Neuper},
title = {On Exams with the Isabelle Proof Assistant},
booktitle = {Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
2022},
series = {{EPTCS}},
volume = {375},
pages = {63--76},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.375.6},
doi = {10.4204/EPTCS.375.6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-05867,
author = {Ankit Kumar and
Andrew T. Walter and
Panagiotis Manolios},
editor = {Pedro Quaresma and
Jo{\~{a}}o Marcos and
Walther Neuper},
title = {Automated Grading of Automata with ACL2s},
booktitle = {Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
2022},
series = {{EPTCS}},
volume = {375},
pages = {77--91},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.375.7},
doi = {10.4204/EPTCS.375.7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-05868,
author = {Klaus Miesenberger and
Walther Neuper and
Bernhard St{\"{o}}ger and
Makarius Wenzel},
editor = {Pedro Quaresma and
Jo{\~{a}}o Marcos and
Walther Neuper},
title = {Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode},
booktitle = {Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
2022},
series = {{EPTCS}},
volume = {375},
pages = {92--111},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.375.8},
doi = {10.4204/EPTCS.375.8},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-10166,
author = {Thierry N. Dana{-}Picard},
editor = {Pedro Quaresma and
Jo{\~{a}}o Marcos and
Walther Neuper},
title = {Computer Assisted Proofs and Automated Methods in Mathematics Education},
booktitle = {Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
2022},
series = {{EPTCS}},
volume = {375},
pages = {2--23},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.375.2},
doi = {10.4204/EPTCS.375.2},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-10166.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2202-02144,
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {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},
series = {{EPTCS}},
volume = {354},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.354},
doi = {10.4204/EPTCS.354},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-02144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-03565,
author = {Clemens Eisenhofer and
Martin Riener},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Automated Instantiation of Control Flow Tracing Exercises},
booktitle = {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},
series = {{EPTCS}},
volume = {354},
pages = {43--58},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.4},
doi = {10.4204/EPTCS.354.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-03566,
author = {Pedro Quaresma and
Vanda Santos},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Four Geometry Problems to Introduce Automated Deduction in Secondary
Schools},
booktitle = {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},
series = {{EPTCS}},
volume = {354},
pages = {27--42},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.3},
doi = {10.4204/EPTCS.354.3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-03567,
author = {J{\o}rgen Villadsen and
Asta Halkj{\ae}r From and
Patrick Blackburn},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Teaching Intuitionistic and Classical Propositional Logic Using Isabelle},
booktitle = {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},
series = {{EPTCS}},
volume = {354},
pages = {71--85},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.6},
doi = {10.4204/EPTCS.354.6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-03568,
author = {John Tang Boyland},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Evolution of SASyLF 2008-2021},
booktitle = {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},
series = {{EPTCS}},
volume = {354},
pages = {87--107},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.7},
doi = {10.4204/EPTCS.354.7},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03568.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-04626,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
R{\'{o}}bert Vajda},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Symbolic Comparison of Geometric Quantities in GeoGebra},
booktitle = {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},
series = {{EPTCS}},
volume = {354},
pages = {13--25},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.2},
doi = {10.4204/EPTCS.354.2},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-04626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-04627,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Jonathan H. Yu},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Automated Discovery of Geometrical Theorems in GeoGebra},
booktitle = {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},
series = {{EPTCS}},
volume = {354},
pages = {1--12},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.1},
doi = {10.4204/EPTCS.354.1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-04627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-08131,
author = {Merlin Carl and
Hinrich Lorenzen and
Michael Schmitz},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Natural Language Proof Checking in Introduction to Proof Classes -
First Experiences with Diproche},
booktitle = {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},
series = {{EPTCS}},
volume = {354},
pages = {59--70},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.5},
doi = {10.4204/EPTCS.354.5},
timestamp = {Tue, 05 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-08131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2006-01794,
author = {Merlin Carl},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Number Theory and Axiomatic Geometry in the Diproche System},
booktitle = {Proceedings 9th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June
2020},
series = {{EPTCS}},
volume = {328},
pages = {56--78},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.328.4},
doi = {10.4204/EPTCS.328.4},
timestamp = {Thu, 10 Dec 2020 15:19:59 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-01794.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2010-16013,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Thaynara Arielly de Lima},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Teaching Interactive Proofs to Mathematicians},
booktitle = {Proceedings 9th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June
2020},
series = {{EPTCS}},
volume = {328},
pages = {1--17},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.328.1},
doi = {10.4204/EPTCS.328.1},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2010-16014,
author = {Asta Halkj{\ae}r From and
J{\o}rgen Villadsen and
Patrick Blackburn},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Isabelle/HOL as a Meta-Language for Teaching Logic},
booktitle = {Proceedings 9th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June
2020},
series = {{EPTCS}},
volume = {328},
pages = {18--34},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.328.2},
doi = {10.4204/EPTCS.328.2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2010-16015,
author = {Filip Maric and
Sana Stojanovic Durdevic},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Formalizing {IMO} Problems and Solutions in Isabelle/HOL},
booktitle = {Proceedings 9th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June
2020},
series = {{EPTCS}},
volume = {328},
pages = {35--55},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.328.3},
doi = {10.4204/EPTCS.328.3},
timestamp = {Fri, 07 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2010-16016,
author = {Walther Neuper},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Lucas-Interpretation on Isabelle's Functions},
booktitle = {Proceedings 9th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June
2020},
series = {{EPTCS}},
volume = {328},
pages = {79--95},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.328.5},
doi = {10.4204/EPTCS.328.5},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2002-11895,
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.313},
doi = {10.4204/EPTCS.313},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-11895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2010-15832,
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Proceedings 9th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June
2020},
series = {{EPTCS}},
volume = {328},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.328},
doi = {10.4204/EPTCS.328},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-15832.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12551,
author = {Ludovic Font and
S{\'{e}}bastien Cyr and
Philippe R. Richard and
Michel Gagnon},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Automating the Generation of High School Geometry Proofs using Prolog
in an Educational Context},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {1--16},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.1},
doi = {10.4204/EPTCS.313.1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12552,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Providing Hints, Next Steps and Feedback in a Tutoring System for
Structural Induction},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {17--34},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.2},
doi = {10.4204/EPTCS.313.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12553,
author = {David M. Cerna and
Rafael P. D. Kiesel and
Alexandra Dzhiganskaya},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {A Mobile Application for Self-Guided Study of Formal Reasoning},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {35--53},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.3},
doi = {10.4204/EPTCS.313.3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12554,
author = {Sarah Winkler and
Aart Middeldorp},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Tools in Term Rewriting for Education},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {54--72},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.4},
doi = {10.4204/EPTCS.313.4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12555,
author = {Asta Halkj{\ae}r From and
Alexander Birch Jensen and
Anders Schlichtkrull and
J{\o}rgen Villadsen},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Teaching a Formalized Logical Calculus},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {73--92},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.5},
doi = {10.4204/EPTCS.313.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12556,
author = {Nuno Baeta and
Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Towards a Geometry Automated Provers Competition},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {93--100},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.6},
doi = {10.4204/EPTCS.313.6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12556.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1903-12402,
editor = {Pedro Quaresma and
Walther Neuper},
title = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.290},
doi = {10.4204/EPTCS.290},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-12402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-00617,
author = {Anders Schlichtkrull and
J{\o}rgen Villadsen and
Asta Halkj{\ae}r From},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Students' Proof Assistant {(SPA)}},
booktitle = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
pages = {1--13},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.290.1},
doi = {10.4204/EPTCS.290.1},
timestamp = {Mon, 22 Nov 2021 15:31:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-00618,
author = {J{\o}rgen Villadsen and
Asta Halkj{\ae}r From and
Anders Schlichtkrull},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Natural Deduction Assistant (NaDeA)},
booktitle = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
pages = {14--29},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.290.2},
doi = {10.4204/EPTCS.290.2},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-00619,
author = {Nuno Baeta and
Pedro Quaresma},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Towards Ranking Geometric Automated Theorem Provers},
booktitle = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
pages = {30--37},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.290.3},
doi = {10.4204/EPTCS.290.3},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-00620,
author = {Wolfgang Schreiner},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Theorem and Algorithm Checking for Courses on Logic and Formal Methods},
booktitle = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
pages = {56--75},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.290.5},
doi = {10.4204/EPTCS.290.5},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-01006,
author = {Maximilian Dor{\'{e}} and
Krysia Broda},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Towards Intuitive Reasoning in Axiomatic Geometry},
booktitle = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
pages = {38--55},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.290.4},
doi = {10.4204/EPTCS.290.4},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-08751,
author = {Walther Neuper},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Technologies for "Complete, Transparent {\&} Interactive Models
of Math" in Education},
booktitle = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
pages = {76--95},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.290.6},
doi = {10.4204/EPTCS.290.6},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-08751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1803-00722,
editor = {Pedro Quaresma and
Walther Neuper},
title = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
year = {2018},
url = {http://arxiv.org/abs/1803.00722},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01466,
author = {Sebastian B{\"{o}}hne and
Christoph Kreitz},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Learning how to Prove: From the Coq Proof Assistant to Textbook Style},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {1--18},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.1},
doi = {10.4204/EPTCS.267.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01467,
author = {Arno Ehle and
Norbert Hundeshagen and
Martin Lange},
editor = {Pedro Quaresma and
Walther Neuper},
title = {The Sequent Calculus Trainer with Automated Reasoning - Helping Students
to Find Proofs},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {19--37},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.2},
doi = {10.4204/EPTCS.267.2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01468,
author = {Ludovic Font and
Philippe R. Richard and
Michel Gagnon},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Improving QED-Tutrix by Automating the Generation of Proofs},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {38--58},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.3},
doi = {10.4204/EPTCS.267.3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01469,
author = {Mario Frank and
Christoph Kreitz},
editor = {Pedro Quaresma and
Walther Neuper},
title = {A Theorem Prover for Scientific and Educational Purposes},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {59--69},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.4},
doi = {10.4204/EPTCS.267.4},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01470,
author = {Alan Krempler and
Walther Neuper},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Prototyping "Systems that Explain Themselves" for Education},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {89--107},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.6},
doi = {10.4204/EPTCS.267.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01470.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01471,
author = {Pedro Quaresma and
Vanda Santos and
Nuno Baeta},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Exchange of Geometric Information Between Applications},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {108--119},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.7},
doi = {10.4204/EPTCS.267.7},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01471.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01472,
author = {Wolfgang Schreiner and
Alexander Brunhuemer and
Christoph F{\"{u}}rst},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Teaching the Formalization of Mathematical Theories and Algorithms
via the Automatic Checking of Finite Models},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {120--139},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.8},
doi = {10.4204/EPTCS.267.8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01473,
author = {J{\o}rgen Villadsen and
Asta Halkj{\ae}r From and
Anders Schlichtkrull},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Natural Deduction and the Isabelle Proof Assistant},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {140--155},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.9},
doi = {10.4204/EPTCS.267.9},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-03092,
author = {Graham Leach{-}Krouse},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Carnap: An Open Framework for Formal Reasoning in the Browser},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {70--88},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.5},
doi = {10.4204/EPTCS.267.5},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-03092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4828,
author = {Serge Autexier and
Dominik Dietrich and
Marvin R. G. Schiller},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {Towards an Intelligent Tutor for Mathematical Proofs},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {1--28},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.1},
doi = {10.4204/EPTCS.79.1},
timestamp = {Mon, 22 Nov 2021 15:31:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4829,
author = {Ralph{-}Johan Back and
Johannes Eriksson},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {An Exercise in Invariant-based Programming with Interactive and Automatic
Theorem Prover Support},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {29--48},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.2},
doi = {10.4204/EPTCS.79.2},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4830,
author = {Francisco Botana and
Miguel A. Ab{\'{a}}nades},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {Automatic Deduction in Dynamic Geometry using Sage},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {49--62},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.3},
doi = {10.4204/EPTCS.79.3},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4831,
author = {Filip Maric and
Ivan Petrovic and
Danijela Petrovic and
Predrag Janicic},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {Formalization and Implementation of Algebraic Methods in Geometry},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {63--81},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.4},
doi = {10.4204/EPTCS.79.4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4831.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4832,
author = {Walther Neuper},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {Automated Generation of User Guidance by Combining Computation and
Deduction},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {82--101},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.5},
doi = {10.4204/EPTCS.79.5},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4832.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4833,
author = {Vanda Santos and
Pedro Quaresma},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning
Web-Environment},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {111--123},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.7},
doi = {10.4204/EPTCS.79.7},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4833.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4834,
author = {Wolfgang Schreiner},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {Computer-Assisted Program Reasoning Based on a Relational Semantics
of Programs},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {124--142},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.8},
doi = {10.4204/EPTCS.79.8},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4835,
author = {Makarius Wenzel and
Burkhart Wolff},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {Isabelle/PIDE as Platform for Educational Tools},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {143--153},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.9},
doi = {10.4204/EPTCS.79.9},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4835.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4837,
author = {Jordi Saludes and
Sebastian Xamb{\'{o}}},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {The {GF} Mathematics Library},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {102--110},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.6},
doi = {10.4204/EPTCS.79.6},
timestamp = {Wed, 05 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1202-4535,
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79},
doi = {10.4204/EPTCS.79},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4535.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-02-18 02:47 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
