{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:18:05Z","timestamp":1725470285267},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540380849"},{"type":"electronic","value":"9783540380863"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11832225_36","type":"book-chapter","created":{"date-parts":[[2006,8,30]],"date-time":"2006-08-30T05:46:02Z","timestamp":1156916762000},"page":"361-372","source":"Crossref","is-referenced-by-count":8,"title":["Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami"],"prefix":"10.1007","author":[{"given":"Tetsuo","family":"Ida","sequence":"first","affiliation":[]},{"given":"Hidekazu","family":"Takahashi","sequence":"additional","affiliation":[]},{"given":"Mircea","family":"Marin","sequence":"additional","affiliation":[]},{"given":"Fadoua","family":"Ghourabi","sequence":"additional","affiliation":[]},{"given":"Asem","family":"Kasem","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"36_CR1","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1137\/0213054","volume":"13","author":"D.S. Arnon","year":"1984","unstructured":"Arnon, D.S., Collins, G.E., McCallum, S.: Cylindrical algebraic decomposition I: The basic algorithm. SIAM Journal on Computing\u00a013(4), 865\u2013877 (1984)","journal-title":"SIAM Journal on Computing"},{"issue":"3","key":"36_CR2","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/BF01844169","volume":"4","author":"B. Buchberger","year":"1970","unstructured":"Buchberger, B.: Ein algorithmisches Kriterium f\u00fcr die L\u00f6sbarkeit eines algebraischen Gleichungssystems. Aequationes mathematicae\u00a04(3), 374\u2013383 (1970)","journal-title":"Aequationes mathematicae"},{"key":"36_CR3","unstructured":"Buchberger, B., Dupre, C., Jebelean, T., Kriftner, F., Nakagawa, K., V\u0103saru, D., Windsteiger, W.: The Theorema Project: A Progress Report. In: Kerber, M., Kohlhase, M. (eds.) Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium, St. Andrews, Scotland, August 6-7, pp. 98\u2013113 (2000)"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Demaine, E.D., Demaine, M.L.: Recent results in computational origami. In: Hull, T. (ed.) Origami\n                    \n                      \n                    \n                    $\\null^3$\n                  : Third International Meeting of Origami Science, Mathematics and Education, Natick, Massachusetts, pp. 3\u201316. A K Peters, Ltd (2002)","DOI":"10.1201\/b15735-3"},{"key":"36_CR5","unstructured":"Geretschl\u00e4ger, R.: Geometric Constructions in Origami. Morikita Publishing Co. (2002) (In Japanese, translation by Fukagawa, Hidetoshi)"},{"key":"36_CR6","unstructured":"Hull, T.: Origami and geometric constructions (2005), \n                    \n                      http:\/\/www.merrimack.edu\/~thull\/omfiles\/geoconst.html"},{"key":"36_CR7","unstructured":"Huzita, H.: Axiomatic Development of Origami Geometry. In: Huzita, H. (ed.) Proceedings of the First International Meeting of Origami Science and Technology, pp. 143\u2013158"},{"key":"36_CR8","series-title":"Lecture Notes in Computer Science","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, vol.\u00a03249, pp. 132\u2013142. Springer, Heidelberg (2004)"},{"key":"36_CR9","unstructured":"Ida, T., Takahashi, H., \u0162epeneu, D., Marin, M.: Morley\u2019s Theorem Revisited through Computational Origami. In: Proceedings of the 7th International Mathematica Symposium (IMS 2005) (2005)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software - ICMS 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11832225_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:13:51Z","timestamp":1619507631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11832225_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540380849","9783540380863"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11832225_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}