Clemens Hofstadler

According to our database, Clemens Hofstadler authored at least 14 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Recycling Algebraic Proof Certificates.

Daniela Kaufmann, Clemens Hofstadler

CoRR, July, 2025

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras.

Maximilian Heisinger, Clemens Hofstadler

CoRR, May, 2025

Modular Algorithms For Computing Gröbner Bases in Free Algebras.

Clemens Hofstadler, Viktor Levandovskyy

CoRR, February, 2025

Refinement-Based Enumeration of QBF Solutions.

Andreas Plank, Clemens Hofstadler, Maximilian Heisinger, Martina Seidl

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification.

Clemens Hofstadler, Daniela Kaufmann

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Short proofs of ideal membership.

Clemens Hofstadler, Thibaut Verron

J. Symb. Comput., 2024

Symmetries of Dependency Quantified Boolean Formulas.

Clemens Hofstadler, Manuel Kauers, Martina Seidl

CoRR, 2024

2023

Signature Gröbner bases in free algebras over rings.

Clemens Hofstadler, Thibaut Verron

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study.

Klara Bernauer, Clemens Hofstadler, Georg Regensburger

Proceedings of the Computer Algebra in Scientific Computing - 25th International Workshop, 2023

2022

Computing Elements of Certain Form in Ideals to Prove Properties of Operators.

Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

Math. Comput. Sci., 2022

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra.

Clemens Hofstadler, Thibaut Verron

J. Symb. Comput., 2022

2021

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law.

Dragana S. Cvetkovic-Ilic, Clemens Hofstadler, Jamal Hossein Poor, Jovana Milosevic, Clemens G. Raab, Georg Regensburger

Appl. Math. Comput., 2021

2020

Compatible rewriting of noncommutative polynomials for proving operator identities.

Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

Certifying operator identities via noncommutative Gröbner bases.

Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

ACM Commun. Comput. Algebra, 2019