Clemens G. Raab | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Clemens Hofstadler
6 publications
Cyrille Chenavier
4 publications
Georg Regensburger
3 publications

research

∙ 10/25/2021

Computing elements of certain form in ideals to prove properties of operators

Proving statements about linear operators expressed in terms of identiti...

0 Clemens Hofstadler, et al. ∙

research

∙ 02/10/2020

Compatible rewriting of noncommutative polynomials for proving operator identities

The goal of this paper is to prove operator identities using equalities ...

0 Cyrille Chenavier, et al. ∙