Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.
