Algebraic factoring and geometry theorem proving (Q5210786): Difference between revisions

@@ Property / cites work @@
+Q3700871
@@ Property / cites work: Q3700871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490991
@@ Property / cites work: Q3490991 / rank @@
+Normal rank
@@ Property / cites work @@
+Transcendental functions and mechanical theorem proving in elementary geometries
+Normal rank
@@ Property / cites work @@
+Q3735803
@@ Property / cites work: Q3735803 / rank @@
+Normal rank
@@ Property / cites work @@
+Factoring Polynomials over Algebraic Number Fields
+Normal rank
@@ Property / cites work @@
+Q3327715
@@ Property / cites work: Q3327715 / rank @@
+Normal rank
@@ Property / cites work @@
+Factoring Multivariate Polynomials over Algebraic Number Fields
+Normal rank
@@ Property / cites work @@
+Q5795628
@@ Property / cites work: Q5795628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3963106
@@ Property / cites work: Q3963106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3491012
@@ Property / cites work: Q3491012 / rank @@
+Normal rank
@@ Property / cites work @@
+Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases
+Normal rank
@@ Property / cites work @@
+An elimination method for polynomial systems
@@ Property / cites work: An elimination method for polynomial systems / rank @@
+Normal rank
@@ Property / cites work @@
+Factoring Multivariate Polynomials over Algebraic Number Fields
+Normal rank
@@ Property / cites work @@
+Factoring Polynomials Over Algebraic Number Fields
+Normal rank