On the correctness of a distributed memory Gröbner basis algorithm (Q5055786): Difference between revisions

@@ Property / cites work @@
+Strategy-accurate parallel Buchberger algorithms
@@ Property / cites work: Strategy-accurate parallel Buchberger algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208084
@@ Property / cites work: Q3208084 / rank @@
+Normal rank
@@ Property / cites work @@
+On the correctness of a distributed memory Gröbner basis algorithm
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237370
@@ Property / cites work: Q4237370 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Gröbner bases
@@ Property / cites work: Notes on Gröbner bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693118
@@ Property / cites work: Q4693118 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel processors and systems for algebraic manipulation: current work
+Normal rank
@@ Property / cites work @@
+Q4264739
@@ Property / cites work: Q4264739 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelizing the closure computation in automated deduction
+Normal rank