Constraint functional logic programming for origami construction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2895, Issue , 2003, Pages 73-88

  Ida, Tetsuo ^a   Marin, Mircea ^b   Takahashi, Hidekazu ^c  

^a UNIVERSITY OF TSUKUBA   (Japan)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^c Kawase High School   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; RECONFIGURABLE HARDWARE;

BASIC OPERATION; CONSTRAINT FUNCTIONAL LOGIC PROGRAMMING; GEOMETRIC PROPERTIES; PROGRAM DEVELOPMENT; PROGRAMMING METHODOLOGY; SOFTWARE COMPONENT; SYSTEMS OF EQUATIONS;

LOGIC PROGRAMMING;

EID: 0344583810     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40018-9_6     Document Type: Article

References (12)

1. N. Kobayashi, M. Marin, and T. Ida. Collaborative Constraint Functional Logic Programming System in an Open Environment. IEICE Transactions on Information and Systems, E86-D(1), pp. 63-70, January 2003.
2. M. Marin., T. Ida, and W. Schreiner. CFLP: A Mathematica Implementation of a Distributed Constraint Solving System. In The Mathematica Journal, 8(2), pp. 287-300, 2001.
3. H. Takahashi and T. Ida. Origami Programming Environment. In Challenging the Boundaries of Symbolic Computation, Proceedings of 5th International Mathematica Symposium (IMS'2003), P. Mitic, P. Ramsden, and J. Carne, editors, Imperial College Press, pp. 413-420, 2003.
4. H. Huzita. Axiomatic Development of Origami Geometry. In Proceedings of the First International Meeting of Origami Science and Technology, pp. 143-158, 1989.
5. ∼thull/geoconst.html, 1997.
6. Tzer-lin Chen. Proof of the impossibility of trisecting an angle with Euclidean tools, Math. Mag. 39, pp. 239-241, 1966.
7. R. Geretschläger. Geometric Constructions in Origami (in Japanese, translation by H. Fukagawa), Morikita Publishing Co., 2002.
8. K. Fushimi. Science of Origami, a supplement to Saiensu, p.8, Oct. 1980.
9. S. Miyazaki, T. Yasuda, S. Yokoi and J. Toriwaki. An Origami Playing Simulator in the Virtual Space, The Journal of Visualization and Computer Animation, Vol.7, No. 1, pp.25-42, 1996.
10. ∼curry, 2002.
11. J. C. Gonzales-Moreno, T. Hortala-Gonzalez, F.J. Lopez-Fraguas, and M. Rodriguez-Artalejo, An Approach to Declarative Programming Based on a Rewrite Logic, Journal of Logic Programming, Vol. 40, No. 1, pp. 47-87, 1999.
12. S. Wolfram, The Mathematica Book, 3rd edition, Wolfram Media and Cambridge University Press, 1996.