On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons (Q5453490): Difference between revisions

@@ Property / cites work @@
+Geometry. I, II. Transl. from the French by M. Cole and S. Levy
+Normal rank
@@ Property / cites work @@
+Q3231775
@@ Property / cites work: Q3231775 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular polygons in Euclidean space
@@ Property / cites work: Regular polygons in Euclidean space / rank @@
+Normal rank
@@ Property / cites work @@
+Q4753788
@@ Property / cites work: Q4753788 / rank @@
+Normal rank
@@ Property / cites work @@
+Pentagons with equal sides and equal angles
@@ Property / cites work: Pentagons with equal sides and equal angles / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732255
@@ Property / cites work: Q5732255 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4087880
@@ Property / cites work: Q4087880 / rank @@
+Normal rank
@@ Property / cites work @@
+A refutational approach to geometry theorem proving
+Normal rank
@@ Property / cites work @@
+The isoperimetric inequality for a pentagon in $E_3 $ and its generalization in $E\sb n $space
+Normal rank
@@ Property / cites work @@
+An isoperimetric equation for closed space sexagon
+Normal rank
@@ Property / cites work @@
+Q4076416
@@ Property / cites work: Q4076416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4238968
@@ Property / cites work: Q4238968 / rank @@
+Normal rank
@@ Property / cites work @@
+An isoperimetric inequality for closed curves convex in even-dimensional Euclidean spaces
+Normal rank
@@ Property / cites work @@
+Ein Satz über räumliche Fünfecke
@@ Property / cites work: Ein Satz über räumliche Fünfecke / rank @@
+Normal rank
@@ Property / cites work @@
+Q5647545
@@ Property / cites work: Q5647545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394960
@@ Property / cites work: Q4394960 / rank @@
+Normal rank