Mathematical Theory Exploration in Theorema: Reduction Rings (Q2817288): Difference between revisions

@@ Property / arXiv ID @@
+.04339
@@ Property / arXiv ID: 1602.04339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4305609
@@ Property / cites work: Q4305609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208084
@@ Property / cites work: Q3208084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336682
@@ Property / cites work: Q3336682 / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying properties of an efficient functional program for computing Gröbner bases
+Normal rank
@@ Property / cites work @@
+A verified common lisp implementation of Buchberger's algorithm in ACL2
+Normal rank
@@ Property / cites work @@
+The Theorema Environment for Interactive Proof Development
+Normal rank
@@ Property / cites work @@
+Q3708893
@@ Property / cites work: Q3708893 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of reduction rings
@@ Property / cites work: A generalization of reduction rings / rank @@
+Normal rank
@@ Property / cites work @@
+The reduction ring property is hereditary
@@ Property / cites work: The reduction ring property is hereditary / rank @@
+Normal rank
@@ Property / cites work @@
+A machine-checked implementation of Buchberger's algorithm
+Normal rank
@@ Property / cites work @@
+Gröbner bases and generalized sylvester matrices
@@ Property / cites work: Gröbner bases and generalized sylvester matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499156
@@ Property / cites work: Q4499156 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorema 2.0: A System for Mathematical Theory Exploration
+Normal rank
@@ Property / cites work @@
+Q3745825
@@ Property / cites work: Q3745825 / rank @@
+Normal rank