( en | de | ru )

 

Disambiguation of "Hofstadler, Clemens"

Author of the publication

copydeleteadd this publication to your clipboard
Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law.

, , , , , and . Appl. Math. Comput., (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kai Uwe Hofstadler

Clarice Hofstadler Deiques

Clemens Scheer

Biosphere-atmosphere-exchange of C and N trace gases and microbial N turnover processes in irrigated agricultural systems of the Aral Sea Basin, Uzbekistan. Uni Bonn, (2008)

Clemens Behrens

Der medikamentöse Einfluss von 21-Aminosteroiden auf die Akutphase des hyperoxischen Lungenschadens am Modell der isolierten, perfundierten und ventilierten Rattenlunge. MedH Hannover, (2009)

Clemens Loewenich

 

Other publications of authors with the same name

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law., , , , , and . Appl. Math. Comput., (2021)Short proofs of ideal membership., and . CoRR, (2023)Certifying operator identities via noncommutative Gröbner bases., , and . ACM Commun. Comput. Algebra, 53 (2): 49-52 (2019)Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra., and . CoRR, (2021)Computing elements of certain form in ideals to prove properties of operators., , and . CoRR, (2021)Computing Elements of Certain Form in Ideals to Prove Properties of Operators., , and . Math. Comput. Sci., 16 (2-3): 17 (2022)Signature Gröbner bases in free algebras over rings., and . ISSAC, page 298-306. ACM, (2023)How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study., , and . CASC, volume 14139 of Lecture Notes in Computer Science, page 39-68. Springer, (2023)Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra., and . J. Symb. Comput., (2022)Compatible rewriting of noncommutative polynomials for proving operator identities., , , and . ISSAC, page 83-90. ACM, (2020)