Computing elements of certain form in ideals to prove properties of operators
From MaRDI portal
Publication:2680116
DOI10.1007/s11786-022-00536-5OpenAlexW3211171902MaRDI QIDQ2680116
Georg Regensburger, Clemens Hofstadler, Clemens G. Raab
Publication date: 27 January 2023
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2110.12933
free algebranoncommutative Gröbner basesnoncommutative polynomialshomogeneous partalgebraic operator identitiesautomated proofsideal intersectionsmonomial part
Related Items (3)
The polarized two-loop massive pure singlet Wilson coefficient for deep-inelastic scattering ⋮ Signature Gröbner bases in free algebras over rings ⋮ OperatorGB
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Positive solutions to operator equations \(AXB=C\)
- An introduction to commutative and noncommutative Gröbner bases
- Multiplicative bases, Gröbner bases, and right Gröbner bases
- Gröbner deformations of hypergeometric differential equations
- Formally verifying proofs for algebraic identities of matrices
- Formal proofs of operator identities by a single formal computation
- Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
- On noncommutative finite factorization domains
- Solving Polynomial Equation Systems
- Computer simplification of formulas in linear systems theory
- Compatible rewriting of noncommutative polynomials for proving operator identities
- Letterplace
- One-sided noncommutative Gröbner bases with applications to computing Green's relations
This page was built for publication: Computing elements of certain form in ideals to prove properties of operators
