Research output per year
Research output per year
-
Gray-Box Proving in Theorema
Windsteiger, W., 2024, 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2024). Kamareddine, F. & Marin, M. (eds.). IEEE, p. 82-89 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Gray-Box Proving in Theorema
Windsteiger, W., Jul 2024, Hagenberg, Linz: RISC, JKU, 8 p. (RISC Report Series; no. 24-07).Research output: Working paper and reports › Preprint
-
Learning to Reason Assisted by Automated Reasoning
Windsteiger, W., 2022, Intelligent Computer Mathematics: 15th International Conference. K. Buzzard and T. Kutsia (ed.). Springer, p. 305-320 16 p. (Lecture Notes in Artificial Intelligence (LNAI)).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Automated Theorem Proving in the Classroom
Windsteiger, W., Aug 2021, Hagenberg, Linz: RISC, JKU, 18 p. (RISC Report Series; no. 21-15).Research output: Working paper and reports › Preprint
-
Automated Theorem Proving in the Classroom
Windsteiger, W., 2021, Proceedings Automated Deduction in Geometry (ADG 2021). Predrag Janicic (ed.). Vol. 352. p. 54-63 10 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS)).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Projects
- 1 Finished
-
Puzzle-Roboter
Windsteiger, W. (PI)
01.10.2019 → 29.02.2020
Project: Funded research › Federal / regional / local authorities
Activities
-
Gray-Box Proving in Theorema
Windsteiger, W. (Speaker)
17 Sept 2024Activity: Talk or presentation › Contributed talk › science-to-science
-
Hybrid Modularized Mathematics Courses with Self-Checks
Windsteiger, W. (Speaker)
28 Jun 2024Activity: Talk or presentation › Contributed talk › science-to-science
-
Efficient Checking of Side-Conditions in Theorema
Windsteiger, W. (Speaker)
13 May 2024Activity: Talk or presentation › Other talk or presentation › science-to-science
-
CICM 2023 (Event)
et al. (Member) & Windsteiger, W. (Member)
04 Sept 2023 → 08 Sept 2023Activity: Membership/Function › Program committee
-
Symbolic Computation and Beyond (BB 80)
Windsteiger, W. (Organiser) & Paule, P. (Organiser)
25 Oct 2022Activity: Participating in or organising an event › Organising a conference, workshop, ...
Prizes
-
Kepler Awards for Excellence in Teaching
Langgruber, P. (Recipient) & Windsteiger, W. (Recipient), 24 Apr 2025
Prize: Prize, award or honor