The following pages link to Clemens Hofstadler (Q2133927):
Displaying 5 items.
- Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra (Q2133928) (← 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)
- Compatible rewriting of noncommutative polynomials for proving operator identities (Q5145958) (← links)
- Certifying operator identities via noncommutative Gröbner bases (Q5880542) (← links)