{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T15:52:05Z","timestamp":1723477925483},"reference-count":20,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1016\/j.jsc.2010.10.007","type":"journal-article","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T09:59:38Z","timestamp":1287050378000},"page":"571-583","source":"Crossref","is-referenced-by-count":10,"title":["Morley\u2019s theorem revisited: Origami construction and automated proof"],"prefix":"10.1016","volume":"46","author":[{"given":"Tetsuo","family":"Ida","sequence":"first","affiliation":[]},{"given":"Asem","family":"Kasem","sequence":"additional","affiliation":[]},{"given":"Fadoua","family":"Ghourabi","sequence":"additional","affiliation":[]},{"given":"Hidekazu","family":"Takahashi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jsc.2010.10.007_br000005","first-page":"119","article-title":"A mathematical theory of origami constructions and numbers","volume":"6","author":"Alperin","year":"2000","journal-title":"New York Journal of Mathematics"},{"key":"10.1016\/j.jsc.2010.10.007_br000010","series-title":"Origami4: 4th International Meeting of Origami Science, Mathematics and Education, 4OSME 2006","first-page":"371","article-title":"One-, two, and multi-fold origami axioms","author":"Alperin","year":"2009"},{"key":"10.1016\/j.jsc.2010.10.007_br000015","unstructured":"Bogomolny, A., 1996. Morley\u2019s Miracle. URL: http:\/\/www.cut-the-knot.org\/triangle\/Morley."},{"key":"10.1016\/j.jsc.2010.10.007_br000020","series-title":"Multidimensional Systems Theory \u2014 Progress, Directions and Open Problems in Multidimensional Systems","article-title":"Groebner-bases: an algorithmic method in polynomial ideal theory","author":"Buchberger","year":"1985"},{"key":"10.1016\/j.jsc.2010.10.007_br000025","series-title":"Proceedings of 7th International Conference on Artificial Intelligence and Symbolic Computation","first-page":"236","article-title":"Algorithm supported mathematical theory exploration: a personal view and strategy","volume":"vol. 3249","author":"Buchberger","year":"2004"},{"issue":"3\u20134","key":"10.1016\/j.jsc.2010.10.007_br000030","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1006\/jsco.1996.0145","article-title":"Converting bases with the Gr\u00f6bner walk","volume":"24","author":"Collart","year":"1997","journal-title":"Journal of Symbolic Computation"},{"key":"10.1016\/j.jsc.2010.10.007_br000035","unstructured":"Fushimi, K., October 1980. Science of origami. A supplement to Saiensu (in Japanese)."},{"key":"10.1016\/j.jsc.2010.10.007_br000040","series-title":"Geometric Constructions in Origami","author":"Geretschl\u00e4ger","year":"2002"},{"key":"10.1016\/j.jsc.2010.10.007_br000045","series-title":"Proceedings of the 22nd ACM Symposium on Applied Computing","first-page":"767","article-title":"Logical and algebraic view of Huzita\u2019s origami axioms with applications to computational origami","author":"Ghourabi","year":"2007"},{"key":"10.1016\/j.jsc.2010.10.007_br000050","unstructured":"Hatori, K., 2005. K\u2019s origami - fractional library - origami construction. URL: http:\/\/origami.ousaan.com\/library\/conste.html."},{"key":"10.1016\/j.jsc.2010.10.007_br000055","unstructured":"Huzita, H., 1989. Axiomatic development of origami geometry. In: Proceedings of the First International Meeting of Origami Science and Technology. pp. 143\u2013158."},{"key":"10.1016\/j.jsc.2010.10.007_br000060","series-title":"Analele Universitatii de Vest din Timisoara","first-page":"247","article-title":"Proving and solving in computational origami","volume":"vol. XLI","author":"Ida","year":"2003"},{"key":"10.1016\/j.jsc.2010.10.007_br000065","series-title":"16th International Workshop on Functional and (Constraint) Logic Programming","first-page":"139","article-title":"Computational origami construction as constraint solving and rewriting","author":"Ida","year":"2007"},{"key":"10.1016\/j.jsc.2010.10.007_br000070","unstructured":"Ida, T., Takahashi, H., \u0162epeneu, D., Marin, M., 2005. Morley\u2019s theorem revisited through computational origami. In: Proceedings of the 7th International Mathematica Symposium, IMS 2005."},{"key":"10.1016\/j.jsc.2010.10.007_br000075","series-title":"Mathematical Software, ICMS 2006","first-page":"361","article-title":"Computational construction of a maximal equilateral triangle inscribed in an origami","volume":"vol. 4151","author":"Ida","year":"2006"},{"key":"10.1016\/j.jsc.2010.10.007_br000080","series-title":"Abstract Algebra and Famous Impossibilities","year":"1994"},{"key":"10.1016\/j.jsc.2010.10.007_br000085","series-title":"Elimination Practice: Software Tools and Applications","author":"Wang","year":"2004"},{"key":"10.1016\/j.jsc.2010.10.007_br000090","unstructured":"Wang, D., 2008. Personal communication."},{"issue":"2","key":"10.1016\/j.jsc.2010.10.007_br000095","first-page":"366","article-title":"Recherches sur les moyens de reconna\u00eetre si un Probl\u00e8me de G\u00e9om\u00e9trie peut se r\u00e9soudre avec la r\u00e8gle et le compas","volume":"1","author":"Wantzel","year":"1837","journal-title":"Journal de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"key":"10.1016\/j.jsc.2010.10.007_br000100","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF02328447","article-title":"Basic principles of mechanical theorem proving in elementary geometry","volume":"2","author":"Wu","year":"1986","journal-title":"Journal of Automated Reasoning"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717110001768?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717110001768?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T12:22:28Z","timestamp":1544185348000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717110001768"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["S0747717110001768"],"URL":"https:\/\/doi.org\/10.1016\/j.jsc.2010.10.007","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2011,5]]}}}