Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Walther Neuper
@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:conf/icchp/StogerMNWN22,
author = {Bernhard St{\"{o}}ger and
Klaus Miesenberger and
Walther Neuper and
Makarius Wenzel and
Thomas Neumayr},
editor = {Klaus Miesenberger and
Georgios Kouroupetroglou and
Katerina Mavrou and
Roberto Manduchi and
Mario Covarrubias Rodriguez and
Petr Pen{\'{a}}z},
title = {Designing an Inclusive and Accessible Mathematical Learning Environment
Based on a Theorem Prover},
booktitle = {Computers Helping People with Special Needs - 18th International Conference,
{ICCHP-AAATE} 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {13341},
pages = {47--55},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08648-9\_7},
doi = {10.1007/978-3-031-08648-9\_7},
timestamp = {Wed, 27 Jul 2022 22:15:49 +0200},
biburl = {https://dblp.org/rec/conf/icchp/StogerMNWN22.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 10:46:43 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05868.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-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 15:19:59 +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}
}
@proceedings{DBLP:conf/mkm/2018w,
editor = {Osman Hasan and
Abdou Youssef and
Adam Naumowicz and
William M. Farmer and
Cezary Kaliszyk and
Diane Gallois{-}Wong and
Florian Rabe and
Gabriel Dos Reis and
Grant O. Passmore and
James H. Davenport and
Markus Pfeiffer and
Michael Kohlhase and
Serge Autexier and
Sofi{\`{e}}ne Tahar and
Thomas Koprucki and
Umair Siddique and
Walther Neuper and
Wolfgang Windsteiger and
Wolfgang Schreiner and
Wolfram Sperber and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
Workshops, Doctoral Program and Work in Progress at the Conference
on Intelligent Computer Mathematics 2018 co-located with the 11th
Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
Austria, August 13-17, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2307},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2307},
urn = {urn:nbn:de:0074-2307-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2018w.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:conf/mkm/Neuper18,
author = {Walther Neuper},
editor = {Osman Hasan and
Abdou Youssef and
Adam Naumowicz and
William M. Farmer and
Cezary Kaliszyk and
Diane Gallois{-}Wong and
Florian Rabe and
Gabriel Dos Reis and
Grant O. Passmore and
James H. Davenport and
Markus Pfeiffer and
Michael Kohlhase and
Serge Autexier and
Sofi{\`{e}}ne Tahar and
Thomas Koprucki and
Umair Siddique and
Walther Neuper and
Wolfgang Windsteiger and
Wolfgang Schreiner and
Wolfram Sperber and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Mechanical Explanation in "Systems that Explain Themselves"},
booktitle = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
Workshops, Doctoral Program and Work in Progress at the Conference
on Intelligent Computer Mathematics 2018 co-located with the 11th
Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
Austria, August 13-17, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2307},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2307/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Neuper18.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 15:31:41 +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-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}
}
@proceedings{DBLP:conf/cikm/2016fm4m,
editor = {Andrea Kohlhase and
Paul Libbrecht and
Bruce R. Miller and
Adam Naumowicz and
Walther Neuper and
Pedro Quaresma and
Frank Wm. Tompa and
Martin Suda},
title = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
Program, and Work in Progress at the Conference on Intelligent Computer
Mathematics 2016 co-located with the 9th Conference on Intelligent
Computer Mathematics {(CICM} 2016), Bialystok, Poland, July 25-29,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1785},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1785},
urn = {urn:nbn:de:0074-1785-C},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/2016fm4m.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Neuper16,
author = {Walther Neuper},
editor = {Andrea Kohlhase and
Paul Libbrecht and
Bruce R. Miller and
Adam Naumowicz and
Walther Neuper and
Pedro Quaresma and
Frank Wm. Tompa and
Martin Suda},
title = {Lucas-Interpretation from Users' Perspective},
booktitle = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
Program, and Work in Progress at the Conference on Intelligent Computer
Mathematics 2016 co-located with the 9th Conference on Intelligent
Computer Mathematics {(CICM} 2016), Bialystok, Poland, July 25-29,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1785},
pages = {83--89},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1785/T1-ThEdu.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:32 +0100},
biburl = {https://dblp.org/rec/conf/cikm/Neuper16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Neuper16a,
author = {Walther Neuper},
editor = {Andrea Kohlhase and
Paul Libbrecht and
Bruce R. Miller and
Adam Naumowicz and
Walther Neuper and
Pedro Quaresma and
Frank Wm. Tompa and
Martin Suda},
title = {Rigor of {TP} in Educational Engineering Software},
booktitle = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
Program, and Work in Progress at the Conference on Intelligent Computer
Mathematics 2016 co-located with the 9th Conference on Intelligent
Computer Mathematics {(CICM} 2016), Bialystok, Poland, July 25-29,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1785},
pages = {90--95},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1785/T2-ThEdu.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/Neuper16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Neuper14,
author = {Walther Neuper},
editor = {Matthew England and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Walther Neuper and
Pedro Quaresma and
Alan P. Sexton and
Petr Sojka and
Josef Urban and
Stephen M. Watt},
title = {{GCD} - {A} Case Study on Lucas-Interpretation},
booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
Work in Progress track at {CICM} co-located with Conferences on Intelligent
Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1186},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1186/paper-17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Neuper14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2014ws,
editor = {Matthew England and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Walther Neuper and
Pedro Quaresma and
Alan P. Sexton and
Petr Sojka and
Josef Urban and
Stephen M. Watt},
title = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
Work in Progress track at {CICM} co-located with Conferences on Intelligent
Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1186},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1186},
urn = {urn:nbn:de:0074-1186-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2014ws.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Neuper13,
author = {Walther Neuper},
editor = {Christoph Lange and
David Aspinall and
Jacques Carette and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Pedro Quaresma and
Florian Rabe and
Petr Sojka and
Iain Whiteside and
Wolfgang Windsteiger},
title = {Computer algebra implemented in Isabelle's function package under
Lucas-interpretation - a case study},
booktitle = {Joint Proceedings of the MathUI, OpenMath, {PLMMS} and ThEdu Workshops
and Work in Progress at CICM, Bath, {UK}},
series = {{CEUR} Workshop Proceedings},
volume = {1010},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1010/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Neuper13.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 15:31:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4832.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/HaftmannKN10,
author = {Florian Haftmann and
Cezary Kaliszyk and
Walther Neuper},
title = {CTP-based programming languages?: considerations about an experimental
design},
journal = {{ACM} Commun. Comput. Algebra},
volume = {44},
number = {1/2},
pages = {27--41},
year = {2010},
url = {https://doi.org/10.1145/1838599.1838621},
doi = {10.1145/1838599.1838621},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/HaftmannKN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 18:02 CEST 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:
