Clemens Hofstadler

According to our database, Clemens Hofstadler authored at least 9 papers between 2019 and 2024.

Collaborative distances:

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

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