Clemens Hofstadler

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Numerically Stable

Piecewise Polynomial

Top Venues

J. Symb. Comput.

Math. Comput. Sci.

Publications

Clemens Hofstadler, Thibaut Verron
Short proofs of ideal membership. J. Symb. Comput. 125 (2024)
Clemens Hofstadler, Thibaut Verron
Signature Gröbner bases in free algebras over rings. ISSAC (2023)
Klara Bernauer, Clemens Hofstadler, Georg Regensburger
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. CASC (2023)
Clemens Hofstadler, Thibaut Verron
Signature Gröbner bases in free algebras over rings. CoRR (2023)
Klara Bernauer, Clemens Hofstadler, Georg Regensburger
How to automatise proofs of operator statements: Moore-Penrose inverse - a case study. CoRR (2023)
Clemens Hofstadler, Thibaut Verron
Short proofs of ideal membership. CoRR (2023)
Clemens Hofstadler, Thibaut Verron
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. J. Symb. Comput. 113 (2022)
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Computing Elements of Certain Form in Ideals to Prove Properties of Operators. Math. Comput. Sci. 16 (2) (2022)
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Computing elements of certain form in ideals to prove properties of operators. CoRR (2021)
Clemens Hofstadler, Thibaut Verron
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. CoRR (2021)
Dragana S. Cvetkovic-Ilic, Clemens Hofstadler, Jamal Hossein Poor, Jovana Milosevic, Clemens G. Raab, Georg Regensburger
Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law. Appl. Math. Comput. 409 (2021)
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Compatible rewriting of noncommutative polynomials for proving operator identities. CoRR (2020)
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Compatible rewriting of noncommutative polynomials for proving operator identities. ISSAC (2020)
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Certifying operator identities via noncommutative Gröbner bases. ACM Commun. Comput. Algebra 53 (2) (2019)