{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T18:48:40Z","timestamp":1759776520957},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232124"},{"type":"electronic","value":"9783540302100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30210-0_12","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T05:34:36Z","timestamp":1295328876000},"page":"132-142","source":"Crossref","is-referenced-by-count":9,"title":["Proving and Constraint Solving in Computational Origami"],"prefix":"10.1007","author":[{"given":"Tetsuo","family":"Ida","sequence":"first","affiliation":[]},{"given":"Dorin","family":"\u0162epeneu","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Buchberger","sequence":"additional","affiliation":[]},{"given":"Judit","family":"Robu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/BF01844169","volume":"4\/3","author":"B. Buchberger","year":"1970","unstructured":"Buchberger, B.: Ein algorithmisches Kriterium f\u00fcr die L\u00f6sbarkeit eines algebraischen Gleichungssystems (An Algorithmical Criterion for the Solvability of Algebraic Systems of Equations). Aequationes mathematicae\u00a04\/3, 374\u2013383 (1970); (English translation in Buchberger, B., Winkler, F. (eds.): Gr\u00f6bner Bases and Applications, Proceedings of the International Conference \u201c33 Years of Gr\u00f6bner Bases\u201d, Research Institute for Symbolic Computation, Johannes Kepler University, Austria. London Mathematical Society Lecture Note Series, vol. 251, pp. 535 \u2013545. Cambridge University Press, Cambridge (1998)","journal-title":"Aequationes mathematicae"},{"key":"12_CR2","first-page":"98","volume-title":"Symbolic Computation and Automated Reasoning (Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning","author":"B. Buchberger","year":"2000","unstructured":"Buchberger, B., Dupre, C., Jebelean, T., Kriftner, F., Nakagawa, K., Vasaru, D., Windsteiger, W.: The Theorema Project: A Progress Report. In: Kerber, M., Kohlhase, M. (eds.) Symbolic Computation and Automated Reasoning (Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, St. Andrews, Scotland, August 6-7, pp. 98\u2013113. A.K. Peters Publishing Co., Natick (2000)"},{"key":"12_CR3","unstructured":"Buchberger, B., Ida, T.: Origami Theorem Proving, SFB Scientific Computing Technical Report 2003-23-Oct, Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria (2003)"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"239","DOI":"10.2307\/2688093","volume":"39","author":"T.L. Chen","year":"1966","unstructured":"Chen, T.L.: Proof of the Impossibility of Trisecting an Angle with Euclidean Tools. Mathematics Magazine\u00a039, 239\u2013241 (1966)","journal-title":"Mathematics Magazine"},{"key":"12_CR5","unstructured":"Fushimi, K.: Science of Origami, a supplement to Saiensu, p. 8 (October 1980) (in Japanese)"},{"key":"12_CR6","unstructured":"Geretschl\u00e4ger, R.: Geometric Constructions in Origami (in Japanese, translation by Hidetoshi Fukagawa), Morikita Publishing Co. (2002)"},{"key":"12_CR7","unstructured":"Haga, K.: Origamics Part I: Fold a Square Piece of Paper and Make Geometrical Figures (in Japanese), Nihon Hyoronsha (1999)"},{"key":"12_CR8","unstructured":"Hull, T.: Origami and Geometric Constructions (1997) , available online at \n                    \n                      http:\/\/web.merrimack.edu\/thull\/geoconst.html"},{"key":"12_CR9","unstructured":"Huzita, H.: Axiomatic Development of Origami Geometry. In: Proceedings of the First International Meeting of Origami Science and Technology, pp. 143-158 (1989)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-40018-9_6","volume-title":"Programming Languages and Systems","author":"T. Ida","year":"2003","unstructured":"Ida, T., Marin, M., Takahashi, H.: Constraint Functional Logic Programming for Origami Construction. In: Ohori, A. (ed.) APLAS 2003. LNCS, vol.\u00a02895, pp. 73\u201388. Springer, Heidelberg (2003)"},{"key":"12_CR11","unstructured":"Robu, J.: Automated Geometric Theorem Proving, PhD Thesis, Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria (2002)"},{"key":"12_CR12","unstructured":"Wolfram, S.: The Mathematica Book, 5th edn. Wolfram Media (2003)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30210-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:55:57Z","timestamp":1619999757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30210-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232124","9783540302100"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30210-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}