On the forgotten theorem of Mr. Vincent (Q1251646): Difference between revisions

@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902405
@@ Property / cites work: Q3902405 / rank @@
+Normal rank
@@ Property / cites work @@
+Integer Arithmetic Algorithms for Polynomial Real Zero Determination
+Normal rank
@@ Property / cites work @@
+Q5536376
@@ Property / cites work: Q5536376 / rank @@
+Normal rank
@@ Property / cites work @@
+A new decision method for elementary algebra
@@ Property / cites work: A new decision method for elementary algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank