Research output per year
Research output per year
-
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Heisinger, M. & Hofstadler, C., 2026, Computer Algebra in Scientific Computing: 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24–28, 2025, Proceedings. Boulier, F., Mou, C., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). p. 79-97 19 p. (Lecture Notes in Computer Science; vol. 16235 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification
Hofstadler, C. & Kaufmann, D., 08 Aug 2025, 31st International Conference on Principles and Practice of Constraint Programming (CP 2025). de la Banda, M. G. (ed.). 22 p. 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 340).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Modular Algorithms For Computing Gröbner Bases in Free Algebras
Hofstadler, C. & Levandovskyy, V., 17 Feb 2025, 27 p. (arXiv.org; no. 2502.11606).Research output: Working paper and reports › Preprint
Open Access -
Recycling Algebraic Proof Certificates
Kaufmann, D. & Hofstadler, C., 27 Jul 2025, 6 p. (arXv.org; no. 2507.20267).Research output: Working paper and reports › Preprint
Open Access -
Recycling Algebraic Proof Certificates
Kaufmann, D. & Hofstadler, C., 2025, (Accepted/In press) Proceedings of the 10th SC-Square Workshop.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Activities
-
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Hofstadler, C. (Speaker)
27 Nov 2025Activity: Talk or presentation › Contributed talk › science-to-science
-
Algebraic Automated Theorem Proving
Hofstadler, C. (Speaker)
07 Nov 2025Activity: Talk or presentation › Invited talk › science-to-science
-
Algebraic First-Order Theorem Proving
Hofstadler, C. (Speaker)
17 Oct 2025Activity: Talk or presentation › Invited talk › science-to-science
-
Noncommutative Gröbner Bases
Hofstadler, C. (Speaker)
24 Sept 2025Activity: Talk or presentation › Invited talk › science-to-science
-
Technische Universität Berlin
Hofstadler, C. (Visiting researcher)
22 Sept 2025 → 26 Sept 2025Activity: Visiting an external institution
Prizes
-
-
-
-
-
“Promotio sub auspiciis” distinction
Hofstadler, C. (Recipient), 17 Mar 2025
Prize: Prize, award or honor