Clemens Hofstadler

Orcid: 0000-0002-3025-0604

According to our database1, Clemens Hofstadler authored at least 8 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Short proofs of ideal membership.
J. Symb. Comput., 2024

2023
Signature Gröbner bases in free algebras over rings.
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.
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.
Math. Comput. Sci., 2022

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

2021
Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law.
Appl. Math. Comput., 2021

2020
Compatible rewriting of noncommutative polynomials for proving operator identities.
Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019
Certifying operator identities via noncommutative Gröbner bases.
ACM Commun. Comput. Algebra, 2019


  Loading...