The following pages link to (Q4317807):
Displaying 9 items.
- Transforming problems from analysis to algebra: a case study in linear boundary problems (Q413404) (← links)
- Computer assistance for ``discovering'' formulas in system engineering and operator theory (Q1282332) (← links)
- Classification of hereditary matrices (Q1386500) (← links)
- Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra (Q2133928) (← links)
- Formal proofs of operator identities by a single formal computation (Q2223357) (← links)
- Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law (Q2244141) (← links)
- Computing elements of certain form in ideals to prove properties of operators (Q2680116) (← links)
- Signature Gröbner bases in free algebras over rings (Q6060387) (← links)
- Short proofs of ideal membership (Q6543081) (← links)
