ゴー ラビファドワ

Toward non-flat geometrical origami folds with Eos system 

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017) 75-79 2018年  査読有り

What does qualitative spatial knowledge tell about origami geometric folds? 

Proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018) LNAI 11110 139-154 2018年  査読有り

Interactive Construction and Automated Proof in Eos System with Application to Knot Fold of Regular Polygons 

Origami$^6$ 1 55-67 2016年  査読有り

A new formalization of origami in geometric algebra 

Proceedings of the 11 International Workshop on Automated Deduction in Geometry (ADG 2016) 117-136 2016年  査読有り

Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL 

Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015) 530-539 2015年  査読有り

Generalization of Superposition of Rectangles Based on Direction Relations 

Proceedings of the 28th International Workshop on Qualitative Reasoning (QR2015) 2015年  査読有り

Formalizing Polygonal Knot Origami 

Journal of Symbolic Computation 69 93-103 2015年  査読有り

Polygonal Knot by Computational Origami 

Journal of Symmetry: Culture and Science 26(2) 171-187 2015年  査読有り

Logical and Algebraic Views of a Knot Fold of a Regular Heptagon 

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science (SCSS 2013) EPiC series in computing 15 50-63 2013年  査読有り

Proof Documents for Automated Origami Theorem Proving 

Automated Deduction in Geometry LNCS 6877 78-97 2011年  査読有り

Computational Origami of Angle Quintisection 

Symbolic Computation in Software Science (SCSS2008) RISC Technical Report Series N 57-68 2008年  査読有り

Logical and Algebraic View of Huzita's Origami Axioms with Applications to Computational Origami 

Proceedings of the 22nd ACM Symposium on Applied Computing (SAC'07) 767-772 2007年  査読有り

Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami 

Proceedings of the 2nd International Conference on Mathematical Software (ICMS 2006) LNCS 4151 361-372 2006年  査読有り