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

@@ Property / describes a project that uses @@
+Epsilon
@@ Property / describes a project that uses: Epsilon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2003371111
@@ Property / OpenAlex ID: W2003371111 / rank @@
+Normal rank
@@ 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