default search action

combined dblp search
author search
venue search
publication search

ask others

Walther Neuper

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-03709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-03709
Julien Narboux, Walther Neuper, Pedro Quaresma:
Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023. EPTCS 400, 2024 [contents]
2023
[c12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05462
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05462
Walther Neuper:
Interactive Formal Specification for Mathematical Problems of Engineers. ThEdu@CADE 2023: 120-138
[e9]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-05360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-05360
Pedro Quaresma, João Marcos, Walther Neuper:
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022. EPTCS 375, 2023 [contents]
2022
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/StogerMNWN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/StogerMNWN22
Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr:
Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover. ICCHP-AAATE (1) 2022: 47-55
[c10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-05868
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-05868
Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel:
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode. ThEdu@FLoC 2022: 92-111
[e8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-02144
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-02144
João Marcos, Walther Neuper, Pedro Quaresma:
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. EPTCS 354, 2022 [contents]
2020
[c9]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2010-16016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-16016
Walther Neuper:
Lucas-Interpretation on Isabelle's Functions. ThEdu@IJCAR 2020: 79-95
[e7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-11895
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-11895
Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019. EPTCS 313, 2020 [contents]
[e6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2010-15832
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-15832
Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020. EPTCS 328, 2020 [contents]

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[e5]
- view
- export record
  dblp key:
  - conf/mkm/2018w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2018w
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács:
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. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents]
[e4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1903-12402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-12402
Pedro Quaresma, Walther Neuper:
Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018. EPTCS 290, 2019 [contents]
2018
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mkm/Neuper18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Neuper18
Walther Neuper:
Mechanical Explanation in "Systems that Explain Themselves". CICM Workshops 2018
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-08751
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-08751
Walther Neuper:
Technologies for "Complete, Transparent & Interactive Models of Math" in Education. ThEdu@FLoC 2018: 76-95
[e3]
- view
- export record
  dblp key:
  - journals/corr/abs-1803-00722
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-00722
Pedro Quaresma, Walther Neuper:
Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. EPTCS 267, 2018 [contents]
2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-01470
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01470
Alan Krempler, Walther Neuper:
Prototyping "Systems that Explain Themselves" for Education. ThEdu@CADE 2017: 89-107
[e2]
- view
- export record
  dblp key:
  - conf/cikm/2016fm4m
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/2016fm4m
Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda:
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. CEUR Workshop Proceedings 1785, CEUR-WS.org 2017 [contents]
2016
[c5]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cikm/Neuper16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/Neuper16
Walther Neuper:
Lucas-Interpretation from Users' Perspective. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 83-89
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cikm/Neuper16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/Neuper16a
Walther Neuper:
Rigor of TP in Educational Engineering Software. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 90-95
2014
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mkm/Neuper14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Neuper14
Walther Neuper:
GCD - A Case Study on Lucas-Interpretation. CICM Workshops 2014
[e1]
- view
- export record
  dblp key:
  - conf/mkm/2014ws
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2014ws
Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt:
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. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014 [contents]
2013
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mkm/Neuper13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Neuper13
Walther Neuper:
Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study. CICM Workshops 2013
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4832
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4832
Walther Neuper:
Automated Generation of User Guidance by Combining Computation and Deduction. ThEdu 2011: 82-101
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/HaftmannKN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/HaftmannKN10
Florian Haftmann, Cezary Kaliszyk, Walther Neuper:
CTP-based programming languages?: considerations about an experimental design. ACM Commun. Comput. Algebra 44(1/2): 27-41 (2010)

Coauthor Index

see FAQ

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.