Formal proofs of operator identities by a single formal computation (Q2223357): Difference between revisions

@@ Property / cites work @@
+The diamond lemma for ring theory
@@ Property / cites work: The diamond lemma for ring theory / rank @@
+Normal rank
@@ Property / cites work @@
+Gröbner-Shirshov Bases for Categories
@@ Property / cites work: Gröbner-Shirshov Bases for Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
+Normal rank
@@ Property / cites work @@
+Compatible rewriting of noncommutative polynomials for proving operator identities
+Normal rank
@@ Property / cites work @@
+Algebraic properties of generalized inverses
@@ Property / cites work: Algebraic properties of generalized inverses / rank @@
+Normal rank
@@ Property / cites work @@
+Q3524859
@@ Property / cites work: Q3524859 / rank @@
+Normal rank
@@ Property / cites work @@
+HOMOLOGICAL ALGEBRA OF TWISTED QUIVER BUNDLES
@@ Property / cites work: HOMOLOGICAL ALGEBRA OF TWISTED QUIVER BUNDLES / rank @@
+Normal rank
@@ Property / cites work @@
+Convergent presentations and polygraphic resolutions of associative algebras
+Normal rank
@@ Property / cites work @@
+Computer assistance for ``discovering'' formulas in system engineering and operator theory
+Normal rank
@@ Property / cites work @@
+Computer simplification of formulas in linear systems theory
+Normal rank
@@ Property / cites work @@
+Q4317807
@@ Property / cites work: Q4317807 / rank @@
+Normal rank
@@ Property / cites work @@
+On Deriving the Inverse of a Sum of Matrices
@@ Property / cites work: On Deriving the Inverse of a Sum of Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying operator identities via noncommutative Gröbner bases
+Normal rank
@@ Property / cites work @@
+Using noncommutative Gröbner bases in solving partially prescribed matrix inverse completion problems
+Normal rank
@@ Property / cites work @@
+Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
+Normal rank
@@ Property / cites work @@
+An introduction to commutative and noncommutative Gröbner bases
+Normal rank
@@ Property / cites work @@
+Solving Polynomial Equation Systems
@@ Property / cites work: Solving Polynomial Equation Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Formally verifying proofs for algebraic identities of matrices
+Normal rank