Pages that link to "Item:Q1577045"

The following pages link to A mathematical theory of origami constructions and numbers (Q1577045):

Displaying 12 items.

• Morley's theorem revisited: origami construction and automated proof (Q633087) (← links)
• Angle trisection with origami and related topics (Q654728) (← links)
• Lipschitz-continuous local isometric immersions: rigid maps and origami (Q935286) (← links)
• On the mechanization of straightedge and compass constructions (Q1730306) (← links)
• Origami fold as algebraic graph rewriting (Q2269692) (← links)
• Axiomatizing geometric constructions (Q2480964) (← links)
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
• Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
• Origami as a Teaching Tool for Indigenous Mathematics Education (Q3298027) (← links)
• Origami and Fractal Solutions of Differential Systems (Q5049287) (← links)
• Existence of a Solution for Beloch’s Fold (Q5108562) (← links)
• Pumping lemmas for classes of languages generated by folding systems (Q6095498) (← links)