Clemens Hofstadler

According to our database, Clemens Hofstadler authored at least 8 papers between 2019 and 2023.

Collaborative distances:

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

2023

Short proofs of ideal membership.

Clemens Hofstadler, Thibaut Verron

CoRR, 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