- Publications
- Influence

Claim Your Author Page

Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.

- Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk
- Automated Deduction in Geometry
- 2012

We investigate the basic fold operations, often referred to as Huzita’s axioms, which represent the standard seven operations used commonly in computational origami. We reformulate the operations by… (More)

We describe Huzita's origami axioms from the logical and algebraic points of view. Observing that Huzita's axioms are statements about the existence of certain origami constructions, we can generate… (More)

We present an origami construction of a maximum equilateral triangle inscribed in an origami, and an automated proof of the correctness of the construction. The construction and the correctness proof… (More)

We present a computational origami system called Eos (E -Origami System). Eos simulates what a human origamist would do with a piece of origami paper and by hands. Moreover, it assists us in… (More)

- Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
- Electr. Notes Theor. Comput. Sci.
- 2008

Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consisting in folding… (More)

- Asem Kasem, Fadoua Ghourabi, Tetsuo Ida
- SAC
- 2011

Origami, i.e. paper folding, is a powerful tool for geometrical constructions. In 1989, Humiaki Huzita introduced six folding operations based on aligning one or more combinations of points and lines… (More)

- Fadoua Ghourabi, Tetsuo Ida, Asem Kasem
- Automated Deduction in Geometry
- 2010

A proof document for origami theorem proving is a record of entire process of reasoning about origami construction and theorem proving. It is produced at the completion of origami theorem proving as… (More)

- Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi
- ICCSA
- 2007

Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consisting in folding… (More)

- Fadoua Ghourabi, Kazuko Takahashi
- ICAART
- 2015

We formalize and verify the superposition of rectangles in Isabelle/HOL. The superposition is associated with the arrangement of rectangular software windows while keeping some regions visible and… (More)

We present a method of superposing rectangles. The superposition is under the condition that some of the regions should be visible. We first define a qualitative spatial representation of the… (More)