Publisher
Springer International Publishing
Reference9 articles.
1. R. C. Alperin and R. J. Lang. One-, two, and multi-fold origami axioms. In Origami 4, Proceedings of the Fourth International Meeting of Origami Science, Mathematics, and Education (4OSME), pages 371–393. A K Peters Ltd., 2009.
2. F. Ghourabi, T. Ida, and A. Kasem. Proof Documents for Automated Origami Theorem Proving. In Automated Deduction in Geometry, volume 6877 of Lecture Notes in Computer Science, pages 78–97. Springer, 2011.
3. H. Huzita, editor. Proceedings of the First International Meeting of Origami Science and Technology, Ferrara, Italy, December 1989.
4. T. Ida, F. Ghourabi, and K. Takahashi. Formalizing Polygonal Knot Origami. Journal of Symbolic Computation, 2014.
5. J. K. Brunton. Polygonal Knots. The Mathematical Gazette, 45(354):299–301, 1961.