Keyword:Geometrical constraint solving

Publications
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