Author:
Cvetković-Ilić Dragana S.,Hofstadler Clemens,Hossein Poor Jamal,Milošević Jovana,Raab Clemens G.,Regensburger Georg
Subject
Applied Mathematics,Computational Mathematics
Reference37 articles.
1. A generalized inverse for matrices;Penrose;Proc. Cambridge Philos. Soc.,1955
2. Positive solutions to operator equations AXB=C;Arias;Linear Algebra Appl.,2010
3. Certifying operator identities via noncommutative Gröbner bases;Hofstadler;ACM Commun. Comput. Algebra,2019
4. Formal proofs of operator identities by a single formal computation;Raab;J. Pure Appl. Algebra,2021
5. Certifying operator identities and ideal membership of noncommutative polynomials;Hofstadler,2020
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献