Computational origami environment on the web

Frontiers of Computer Science in China

Volumn 2, Issue 1, 2008, Pages 39-54

  Kasem, Asem ^a   Ida, Tetsuo ^a  

^a UNIVERSITY OF TSUKUBA   (Japan)

Author keywords

Computational origami; Origami theorem proving; Symbolic computation; Symbolic web services

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTATIONAL METHODS; GRAPHICAL USER INTERFACES; THEOREM PROVING;

ORIGAMI THEOREM PROVING; SYMBOLIC COMPUTATION; SYMBOLIC WEB SERVICES;

WEB SERVICES;

EID: 41549098700     PISSN: 16737350     EISSN: 16737466     Source Type: Journal    
DOI: 10.1007/s11704-008-0009-8     Document Type: Article

References (27)

1. 3: 3rd International Meeting of Origami Science, Mathematics and Education. Natick, 2002, 3-16
2. Ida T, Ţepeneu D, Buchberger B, et al. Proving and constraint solving in computational origami. In: Proceedings of AISC 2004. LNAI, 2004, 3249: 132-142
3. Ida T, Takahashi H, Marin M, et al. Computational origami system Eos. In: Proceedings of OSME. Caltech, 2006, 69
4. Kasem A, Takahashi H, Marin M, et al. Weborigami2: a system for origami construction and proving using web 2.0 technologies. In: Proceedings of JSSST. Nara, 2007
5. Naifer M, Kasem A, Ida T. A system of web services for symbolic computation. In: Ida T, Jiang Q S, Wang D M, eds. Proceedings of the 5th Asian Workshop on Foundations of Software. Xiamen: Beihang University, 2007, 145-152
6. Wolfram Research. Mathematica. http://www.wolfram.com/products/ mathematica/, 2007
7. Huzita H. Axiomatic development of origami geometry. In: Huzita H, ed. Proceedings of the First International Meeting of Origami Science and Technology. 1989, 143-158
8. Hatori K. K's origami: origami construction. http://origami.ousaan.com/ library/conste.html, 2006
9. Google. Google web toolkit. http://code.google.com/webtoolkit/, 2006
10. Wolfram Research. webMathematica 2. http://www.wolfram.com/products/ webmathematica, 2006
11. Kasem A, Ida T, Takahashi H, et al. E-origami system Eos. In: Proceedings of JSSST. Tokyo, 2006
12. W3C Technical Reports. The xmlhttprequest object. http://www.w3.org/TR/ XMLhttpRequest, 2007
13. Wikipedia website. Ajax (programming). http://en.wikipedia.org/wiki/ Ajax_%28programming%29, 2007
14. Maplesoft. Maple system. http://www.maplesoft.com/, 2007
15. CoCoATeam. CoCoA: a system for doing computations in commutative algebra. http://cocoa.dima.unige.it
16. SINGULAR team. SINGULAR computer algebra system. http://www.singular.uni- kl.de/index.html, 2007
17. Design Science Inc. WebEQ developers suite. http://www.dessci.com/en/ products/webeq/, 2007
18. Ida T, Takahashi H, Marin M, et al. Computational construction of a maximal equilateral triangle inscribed in an origami. In: Mathematical Software-ICMS 2006. Berlin: Springer, LNCS, 2006, 4151: 361-372
19. Lang R J. Origami simulation. http://www.langorigami.com/science/ origamisim/origamisim.php4
20. Fastag J. Egami: virtual paperfolding and diagramming software. In: Proceedings of OSME. Caltech, 2006, 68
21. Miyazaki S, Yasuda T, Yokoi S, et al. An origami playing simulator in the virtual space. The Journal of Visualization and Computer Animation, 1996, 7(1): 25-42
22. Mitani J. Recognition, modeling and rendering method for origami using 2d bar codes. In: Proceedings of OSME. Caltech, 2006
23. Andersen E M. Origami and math. http://www.paperfolding.com/math
24. Lang R J. Intersections between origami, mathematics, and science. http://www.langorigami.com/science/science.php4
25. Hammond K, Al Zain A, Cooperman, et al. Symgrid: a framework for symbolic computation on the grid. In: Kermarreca A M, Bouge L, Priol T, eds. Proceedings of Parallel and Distributed Computing, EuroPar. Berlin: Springer, LNCS, 2007, 4641: 447-456
26. Carstea A, Frincu M, Macariu G, et al. Generic access to web an grid-based symbolic computing services. Proceedings of ISPDC. Los Alamitos: IEEE Computer Press, 2007, 143-150
27. Petcu D, Ţepeneu D, Paprzycki M, et al. Symbolic Computations on Grids. In: di Martino B, Dongarra J, Hoisie A, et al, eds. Engineering The Grid: status and perspective. American Scientific Publishers, 2006, 91-107