HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Fadoua Ghourabi

Publications
SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
James H. Davenport and Fadoua Ghourabi (editors)
EPiC Series in Computing, volume 39
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon
Fadoua Ghourabi, Tetsuo Ida and Kazuko Takahashi
In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science

Keyphrases

computational origami, Geometrical constraint solving, knot fold, theorem proving.

Copyright © 2012-2025 easychair.org. All rights reserved.