SIGN IN
SIGN UP
Logical and algebraic view of Huzita's origami axioms with applications to computational origami
Full Text:
PDF
Buy this Article
Authors:
Fadoua Ghourabi
University of Tsukuba, Tsukuba, Japan
Tetsuo Ida
University of Tsukuba, Tsukuba, Japan
Hidekazu Takahashi
University of Tsukuba, Tsukuba, Japan
Mircea Marin
University of Tsukuba, Tsukuba, Japan
Asem Kasem
University of Tsukuba, Tsukuba, Japan
2007 Article
Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 22
· Downloads (cumulative): 186
· Citation Count: 6
Published in:
· Proceeding
SAC '07
Proceedings of the 2007 ACM symposium on Applied computing
Pages 767-772
ACM
New York, NY
, USA
©2007
table of contents
ISBN:1-59593-480-4
doi>
10.1145/1244002.1244173
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
constraint solving
first-order predicate logic
geometric theorem proving
logic and constraint programming
mechanical theorem proving
origami
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder