Fadoua Ghourabi

According to our database, Fadoua Ghourabi authored at least 16 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A Proof of the Compositions of Time Interval Relations.

Fadoua Ghourabi, Kazuko Takahashi

CoRR, 2018

What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?

Fadoua Ghourabi, Kazuko Takahashi

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Toward Non-flat Geometrical Origami Folds with Eos System.

Fadoua Ghourabi

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

2016

Allen's Interval Calculus.

Fadoua Ghourabi

Arch. Formal Proofs, 2016

2015

Formalizing polygonal knot origami.

Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi

J. Symb. Comput., 2015

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

Fadoua Ghourabi, Kazuko Takahashi

Proceedings of the ICAART 2015, 2015

2013

Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification.

Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

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

Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2012

Algebraic Analysis of Huzita's Origami Operations and Their Extensions.

Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

2011

Morley's theorem revisited: Origami construction and automated proof.

Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi

J. Symb. Comput., 2011

Origami axioms and circle extension.

Asem Kasem, Fadoua Ghourabi, Tetsuo Ida

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Proof Documents for Automated Origami Theorem Proving.

Fadoua Ghourabi, Tetsuo Ida, Asem Kasem

Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010

2007

Computational Origami Construction as Constraint Solving and Rewriting.

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

Logical and algebraic view of Huzita's origami axioms with applications to computational origami.

Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Modeling Origami for Computational Construction and Beyond.

Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi

Proceedings of the Computational Science and Its Applications, 2007

2006

Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami.

Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem

Proceedings of the Mathematical Software, 2006