Formal proofs of operator identities by a single formal computation CG Raab, G Regensburger, JH Poor Journal of Pure and Applied Algebra 225 (5), 106564, 2021 | 15 | 2021 |
Algorithmic operator algebras via normal forms in tensor rings JH Poor, CG Raab, G Regensburger Journal of Symbolic Computation 85, 247-274, 2018 | 12 | 2018 |
Algorithmic operator algebras via normal forms for tensors J Hossein Poor, CG Raab, G Regensburger Proceedings of the ACM on International Symposium on Symbolic and Algebraic …, 2016 | 10 | 2016 |
Normal forms for operators via Gröbner bases in tensor algebras J Hossein Poor, CG Raab, G Regensburger Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016 | 10 | 2016 |
Algebraic proof methods for identities of matrices and operators: improvements of Hartwig’s triple reverse order law DS Cvetković-Ilić, C Hofstadler, JH Poor, J Milošević, CG Raab, ... Applied Mathematics and Computation 409, 126357, 2021 | 8 | 2021 |
Symbolic computation for integro-differential-time-delay operators with matrix coefficients T Cluzeau, JH Poor, A Quadrat, CG Raab, G Regensburger | 7* | |
Tensor reduction systems for rings of linear operators JH Poor Johannes Kepler Universiy, Linz, 2018 | 2 | 2018 |
Tensor reduction systems for rings of linear operators/submitted by Jamal Hossein Poor J Hossein Poor | | 2018 |
Algebraic proofs of operator identities JH Poor, CG Raab, G Regensburger Applications of Computer Algebra: proceedings, 171, 2018 | | 2018 |
Tensor reduction systems for operator algebras and normal forms JH Poor, CG Raab, G Regensburger | | 2016 |
Complexity of algorithms computing the Hilbert series of monomial ideals JH Poor IASBS, 2012 | | 2012 |
Hilbert series of zero-dimensional lex-segment ideals with 2 or 3 variables S Faghfouri, JH Poor, RZ Nahandi | | |