Information Technology Reference
In-Depth Information
we have seen. For further development of origami construction, in analogy to
the ruler-and-compass construction problem, Galois theory suggests itself as the
main approach to solving the origami construction problem.
Acknowledgements
Sponsored by Austrian FWF ( Osterreichischer Fonds zur Forderung der Wis-
senschaftlichen Forschung), Project 1302, in the frame of the SFB (Special Re-
search Area) 013 “Scientific Computing”and RICAM (Radon Institute for Ap-
plied and Computational Mathematics, Austrian Academy of Science, Linz).
References
1. Buchberger, B.: Ein algorithmisches Kriterium fur die Losbarkeit eines algebrais-
chen Gleichungssystems (An Algorithmical Criterion for the Solvability of Alge-
braic Systems of Equations). Aequationes mathematicae 4/3, 1970, pp. 374-383.
(English translation in: Buchberger, B., and Winkler, F. (eds.), Grobner Bases and
Applications, Proceedings of the International Conference “33 Years of Grobner
Bases”, 1998, Research Institute for Symbolic Computation, Johannes Kepler Uni-
versity, Austria, London Mathematical Society Lecture Note Series, Vol. 251, Cam-
bridge University Press, 1998, pp. 535 -545.)
2. Buchberger, B., Dupre, C., Jebelean, T., Kriftner, F., Nakagawa, K., Vasaru, D.,
Windsteiger, W.: The Theorema Project: A Progress Report, In Symbolic Com-
putation and Automated Reasoning (Proceedings of CALCULEMUS 2000, Sym-
posium on the Integration of Symbolic Computation and Mechanized Reasoning,
August 6-7, 2000, St. Andrews, Scotland), Kerber, M. and Kohlhase, M. (eds.),
A.K. Peters Publishing Co., Natick, Massachusetts, pp. 98-113.
3. Buchberger, B. and Ida, T.: Origami Theorem Proving, SFB Scientific Comput-
ing Technical Report 2003-23-Oct, Research Institute for Symbolic Computation,
Johannes Kepler University Linz, Austria, 2003.
4. Chen, T. L.: Proof of the Impossibility of Trisecting an Angle with Euclidean Tools,
Mathematics Magazine Vol. 39, pp. 239-241, 1966.
5. Fushimi, K.: Science of Origami, a supplement to Saiensu, Oct. 1980, p. 8 (in
Japanese).
6. Geretschlager, R.: Geometric Constructions in Origami (in Japanese, translation
by Hidetoshi Fukagawa), Morikita Publishing Co., 2002.
7. Haga, K.: Origamics Part I: Fold a Square Piece of Paper and Make Geometrical
Figures (in Japanese), Nihon Hyoronsha, 1999.
8. Hull,
T.:
Origami
and
Geometric
Constructions,
available
online
at
http://web.merrimack.edu/ thull/geoconst.html, 1997.
9. Huzita, H.: Axiomatic Development of Origami Geometry, Proceedings of the First
International Meeting of Origami Science and Technology, pp. 143-158, 1989.
10. Ida, T., Marin, M. and Takahashi, H.: Constraint Functional Logic Programming
for Origami Construction, Proceedings of the First Asian Symposium on Program-
ming Languages and Systems (APLAS2003), Lecture Notes in Computer Science,
Vol. 2895, pp. 73-88, 2003.
11. Robu, J.: Automated Geometric Theorem Proving, PhD Thesis, Research Institute
for Symbolic Computation, Johannes Kepler University Linz, Austria, 2002.
12. Wolfram, S.: The Mathematica Book, 5th ed., Wolfram Media, 2003.
Search WWH ::
Custom Search