{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:15:36Z","timestamp":1766135736500},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540313328"},{"type":"electronic","value":"9783540313632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11615798_2","type":"book-chapter","created":{"date-parts":[[2006,2,7]],"date-time":"2006-02-07T07:45:44Z","timestamp":1139298344000},"page":"19-33","source":"Crossref","is-referenced-by-count":6,"title":["Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness"],"prefix":"10.1007","author":[{"given":"Judit","family":"Robu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuo","family":"Ida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dorin","family":"\u0162epeneu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidekazu","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Buchberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"119","volume":"6","author":"R.C. Alperin","year":"2000","unstructured":"Alperin, R.C.: A Mathematical Theory of Origami Constructions and Numbers. New York J. Math.\u00a06, 119\u2013133 (2000)","journal-title":"New York J. Math."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Gr\u00f6bner-Bases: An Algorithmic Method in Polynomial Ideal Theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory - Progress, Directions and Open Problems in Multidimensional Systems, Ch. 6. Reidel Publishing Company, Dodrecht (1985) (2nd edn. Kluwer Academic Publisher 2003)","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Buchberger, B., Jebelean, T., Kriftner, F., Marin, M., Tomuta, E., Vasaru, D.: An overview on the Theorema project. In: Kuechlin, W. (ed.) Procdings of ISSAC 1997 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 21-23. ACM Press, New York (1997)","DOI":"10.1145\/258726.258853"},{"key":"#cr-split#-2_CR4.1","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: The Calculemus-2000 Symposium (Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (August 6-7, 2000);"},{"key":"#cr-split#-2_CR4.2","unstructured":"A K Peters Ltd., St. Andrews, Scotland (2001)"},{"issue":"1","key":"2_CR5","first-page":"65","volume":"98","author":"B. Buchberger","year":"2004","unstructured":"Buchberger, B.: Towards the Automated Synthesis of a Groebner bases Algorithm. RACSAM, Reviews of the Spanish Royal Academy of Science. Serie A: Mathematicas\u00a098(1), 65\u201375 (2004)","journal-title":"RACSAM, Reviews of the Spanish Royal Academy of Science. Serie A: Mathematicas"},{"key":"2_CR6","volume-title":"Mechanical geometry theorem proving","author":"S.-C. Chou","year":"1988","unstructured":"Chou, S.-C.: Mechanical geometry theorem proving. Reidel, Dordrecht Boston (1988)"},{"issue":"5","key":"2_CR7","doi-asserted-by":"publisher","first-page":"357","DOI":"10.2307\/2690924","volume":"68","author":"R. Geretschl\u00e4ger","year":"1995","unstructured":"Geretschl\u00e4ger, R.: Euclidean constructions and the geometry of origami. Math. Mag.\u00a068(5), 357\u2013371 (1995)","journal-title":"Math. Mag."},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.2307\/2323624","volume":"95","author":"A.M. Gleason","year":"1998","unstructured":"Gleason, A.M.: Angle Trisection, the Heptagon, and the Triskaidecagon. American Mathematical Monthly\u00a095(3), 185\u2013194 (1998)","journal-title":"American Mathematical Monthly"},{"key":"2_CR9","unstructured":"Huzita, H.: Axiomatic Development of Origami Geometry. In: Proceedings of the First International Meeting of Origami Science and Technology, pp. 143\u2013158 (1989)"},{"issue":"1","key":"2_CR10","first-page":"69","volume":"5","author":"H. Huzita","year":"1994","unstructured":"Huzita, H.: Drawing the regular heptagon and the regular nonagon by origami (paper folding). Symmetry: Culture and Science\u00a05(1), 69\u201384 (1994)","journal-title":"Symmetry: Culture and Science"},{"key":"2_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-30210-0_12","volume-title":"Artificial Intelligence and Symbolic Computation","author":"T. Ida","year":"2004","unstructured":"Ida, T., \u0162epeneu, D., Buchberger, B., Robu, J.: Proving and Constraint Solving in Computational Origami. In: Buchberger, B., Campbell, J. (eds.) AISC 2004. LNCS (LNAI), vol.\u00a03249, pp. 132\u2013142. Springer, Heidelberg (2004)"},{"issue":"4","key":"2_CR12","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D. Kapur","year":"1986","unstructured":"Kapur, D.: Using Gr\u00f6bner bases to reason about geometry problems. J. Symbolic Computation\u00a02(4), 399\u2013408 (1986)","journal-title":"J. Symbolic Computation"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B. Kutzler","year":"1986","unstructured":"Kutzler, B., Stifter, S.: On the application of Buchberger\u2019s algorithm to automated geometry theorem proving. J. Symb. Comput.\u00a02, 389\u2013397 (1986)","journal-title":"J. Symb. Comput."},{"key":"2_CR14","unstructured":"Robu, J.: Automated Geometric Theorem Proving (PhD Thesis), RISC-Linz Report Series No. 02-23. Johannes Kepler University Linz, Austria (2002)"},{"key":"2_CR15","unstructured":"\u0162epeneu, D., Ida, T.: MathGridLink - A bridge between Mathematica and \u201cthe Grid\u201d. In: The 20th Annual Conference of Japan Society of Software Science and Technology, Nagoya (September 2003)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W.-T. Wu","year":"1986","unstructured":"Wu, W.-T.: Basic principles of mechanical theorem proving in elementary geometries. J. Automat. Reason.\u00a02, 221\u2013252 (1986)","journal-title":"J. Automat. Reason."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11615798_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:34Z","timestamp":1619507494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11615798_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540313328","9783540313632"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11615798_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}