Follow
Fadoua Ghourabi
Title
Cited by
Cited by
Year
Computational origami system Eos
T Ida, H Takahashi, M Marin, A Kasem, F Ghourabi
LRJ, editor, Origami, 285.294, 2009
322009
Computational construction of a maximum equilateral triangle inscribed in an origami
T Ida, H Takahashi, M Marin, F Ghourabi, A Kasem
International Congress on Mathematical Software, 361-372, 2006
292006
Logical and algebraic view of Huzita's origami axioms with applications to computational origami
F Ghourabi, T Ida, H Takahashi, M Marin, A Kasem
Proceedings of the 2007 ACM symposium on Applied computing, 767-772, 2007
262007
Morley’s theorem revisited: Origami construction and automated proof
T Ida, A Kasem, F Ghourabi, H Takahashi
Journal of symbolic computation 46 (5), 571-583, 2011
232011
Origami axioms and circle extension
A Kasem, F Ghourabi, T Ida
Proceedings of the 2011 ACM Symposium on Applied Computing, 1106-1111, 2011
212011
Modeling origami for computational construction and beyond
T Ida, H Takahashi, M Marin, F Ghourabi
International Conference on Computational Science and Its Applications, 653-665, 2007
182007
Algebraic analysis of Huzita’s origami operations and their extensions
F Ghourabi, A Kasem, C Kaliszyk
International Workshop on Automated Deduction in Geometry, 143-160, 2012
162012
E-origami system Eos
A Kasem, T Ida, H Takahashi, M Marin, F Ghourabi
Proceedings of the Annual Symposium of Japan Society for Software Science …, 2006
142006
Formalizing polygonal knot origami
T Ida, F Ghourabi, K Takahashi
Journal of Symbolic Computation 69, 93-108, 2015
112015
Proof documents for automated origami theorem proving
F Ghourabi, T Ida, A Kasem
International Workshop on Automated Deduction in Geometry, 78-97, 2010
82010
A new formalization of origami in geometric algebra
T Ida, J Fleuriot, F Ghourabi
ADG2016, 117, 2016
62016
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL
F Ghourabi, K Takahashi
Seventh International Conference on Agents and Artificial Intelligence …, 2015
42015
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon.
F Ghourabi, T Ida, K Takahashi
SCSS, 50-63, 2013
22013
A Proof of the Compositions of Time Interval Relations
F Ghourabi, K Takahashi
arXiv preprint arXiv:1804.01637, 2018
12018
Toward Non-flat Geometrical Origami Folds with Eos System
F Ghourabi
2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017
12017
Interactive Construction and Automated Proof in Eos System with Application to Knot Fold of Regular Polygons
F Ghourabi, T Ida, K Takahashi
Origami6: I. Mathematics, 55, 2015
12015
Generalization of superposition of rectangles based on direction relations
F Ghourabi, K Takahashi
The 28th International Workshop on Qualitative Reasoning, 2015
12015
Knot fold of regular polygons: computer-assisted construction and verification
T Ida, F Ghourabi, K Takahashi
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013 15th …, 2013
12013
Computational Origami of Angle Quintisection
F Ghourabi, T Ida, H Takahashi
RISC-Linz, 57, 2008
12008
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?
F Ghourabi, K Takahashi
International Conference on Artificial Intelligence and Symbolic Computation …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20