Formal proofs of operator identities by a single formal computation von Raab, Clemens G., Regensburger, Georg, Hossein Poor, Jamal

Volltext

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig’s triple reverse order law von Cvetković-Ilić, Dragana S., Hofstadler, Clemens, Hossein Poor, Jamal, Milošević, Jovana, Raab, Clemens G., Regensburger, Georg

Volltext

Algorithmic operator algebras via normal forms in tensor rings von Hossein Poor, Jamal, Raab, Clemens G., Regensburger, Georg

Volltext

Normal Forms for Operators via Gröbner Bases in Tensor Algebras von Hossein Poor, Jamal, Raab, Clemens G., Regensburger, Georg

Volltext

Formal proofs of operator identities by a single formal computation von Raab, Clemens G, Regensburger, Georg, Jamal Hossein Poor

Volltext

Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law von Cvetković-Ilić, Dragana S, Hofstadler, Clemens, Jamal Hossein Poor, Milošević, Jovana, Raab, Clemens G, Regensburger, Georg

Volltext

Symbolic Computation for Integro-Differential-Time-Delay Operators with Matrix Coefficients von Cluzeau, Thomas, Poor, Jamal Hossein, Quadrat, Alban, Raab, Clemens G., Regensburger, Georg

Volltext

Symbolic Computation for Integro-Differential-Time-Delay Operators with Matrix Coefficients⁎⁎This work is supported by PHC AMADEUS project no. 35602WA, OeAD-WTZ project no. FR10/20... von Cluzeau, Thomas, Poor, Jamal Hossein, Quadrat, Alban, Raab, Clemens G., Regensburger, Georg

Volltext