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., Negru, V. & Zaharie, D. (eds.). IEEE, p. 82-89 8 p. (Proceedings - 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024).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. Buzzard, K. & Kutsia, T. (eds.). Springer, p. 305-320 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13467 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Automated Theorem Proving in the Classroom
Windsteiger, W., 30 Dec 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
-
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
Projects
- 1 Finished
-
Puzzle-Roboter
Windsteiger, W. (PI)
01.10.2019 → 29.02.2020
Project: Funded research › Federal / regional / local authorities
Activities
-
ÖMG - DMV Jahrestagung
Kauers, M. (Other), Pillichshammer, F. (Other), Windsteiger, W. (Other) & Koutschan, C. (Other)
01 Sept 2025 → 05 Sept 2025Activity: Other
-
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
Prizes
-
Kepler Awards for Excellence in Teaching
Langgruber, P. (Recipient) & Windsteiger, W. (Recipient), 24 Apr 2025
Prize: Prize, award or honor