Morley's theorem revisited: origami construction and automated proof (Q633087): Difference between revisions

@@ Property / cites work @@
+A mathematical theory of origami constructions and numbers
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Converting bases with the Gröbner walk
@@ Property / cites work: Converting bases with the Gröbner walk / rank @@
+Normal rank
@@ Property / cites work @@
+Q5699483
@@ Property / cites work: Q5699483 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami
+Normal rank
@@ Property / cites work @@
+Abstract algebra and famous impossibilities
@@ Property / cites work: Abstract algebra and famous impossibilities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823164
@@ Property / cites work: Q4823164 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic principles of mechanical theorem proving in elementary geometries
+Normal rank