{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,22]],"date-time":"2022-09-22T01:56:27Z","timestamp":1663811787795},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,6,26]],"date-time":"2020-06-26T00:00:00Z","timestamp":1593129600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,26]],"date-time":"2020-06-26T00:00:00Z","timestamp":1593129600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s11786-020-00492-y","type":"journal-article","created":{"date-parts":[[2020,6,26]],"date-time":"2020-06-26T15:40:24Z","timestamp":1593186024000},"page":"757-773","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On n-sectors of the Angles of an Arbitrary Triangle"],"prefix":"10.1007","volume":"14","author":[{"given":"Dongming","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,26]]},"reference":[{"key":"492_CR1","first-page":"97","volume":"1","author":"F Morley","year":"1900","unstructured":"Morley, F.: On the metric geometry of the plane $$n$$-line. Trans. Am. Math. Soc. 1, 97\u2013115 (1900)","journal-title":"Trans. Am. Math. Soc."},{"key":"492_CR2","first-page":"260","volume":"6","author":"F Morley","year":"1924","unstructured":"Morley, F.: On the intersections of the trisectors of the angles of a triangle. J. Math. Assoc. Japan 6, 260\u2013262 (1924)","journal-title":"J. Math. Assoc. Japan"},{"key":"492_CR3","first-page":"207","volume":"4","author":"W-T Wu","year":"1984","unstructured":"Wu, W.-T.: Basic principles of mechanical theorem proving in elementary geometries. J. Syst. Sci. Math. Sci. 4, 207\u2013235 (1984)","journal-title":"J. Syst. Sci. Math. Sci."},{"key":"492_CR4","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. Autom. Reason. 2, 221\u2013252 (1986)","journal-title":"J. Autom. Reason."},{"key":"492_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531321","volume":"13","author":"D Wang","year":"1995","unstructured":"Wang, D.: Elimination procedures for mechanical theorem proving in geometry. Ann. Math. Artif. Intell. 13, 1\u201324 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"key":"492_CR6","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/j.jsc.2010.10.007","volume":"46","author":"T Ida","year":"2011","unstructured":"Ida, T., Kasem, A., Ghourabi, F., Takahashi, H.: Morley\u2019s theorem revisited: origami construction and automated proof. J. Symb. Comput. 46, 571\u2013583 (2011)","journal-title":"J. Symb. Comput."},{"key":"492_CR7","first-page":"159","volume":"21","author":"W-T Wu","year":"1978","unstructured":"Wu, W.-T.: On the decision problem and the mechanization of theorem-proving in elementary geometry. Sci. Sin. 21, 159\u2013172 (1978)","journal-title":"Sci. Sin."},{"key":"492_CR8","doi-asserted-by":"publisher","DOI":"10.1142\/9951","volume-title":"Automated Inequality Proving and Discovering","author":"B Xia","year":"2016","unstructured":"Xia, B., Yang, L.: Automated Inequality Proving and Discovering. World Scienfic, Singapore (2016)"},{"key":"492_CR9","doi-asserted-by":"crossref","unstructured":"Wang, D.: Geometry machines: from AI to SMC. In: Calmet, J., Campbell, J.A., Pfalzgraf, J. (eds.) Artificial intelligence and symbolic computation, pp. 213\u2013239. Springer, Berlin (1996). (Lecture Notes in Computer Science, vol. 1138)","DOI":"10.1007\/3-540-61732-9_60"},{"key":"492_CR10","doi-asserted-by":"publisher","DOI":"10.1142\/p318","volume-title":"Elimination Practice: Software Tools and Applications","author":"D Wang","year":"2004","unstructured":"Wang, D.: Elimination Practice: Software Tools and Applications. Imperial College Press, London (2004)"},{"key":"492_CR11","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1006182023017","volume":"25","author":"H Li","year":"2000","unstructured":"Li, H.: Vectorial equations solving for mechanical geometry theorem proving. J. Automat. Reason. 25, 83\u2013121 (2000)","journal-title":"J. Automat. Reason."},{"key":"492_CR12","volume-title":"Mechanical Geometry Theorem Proving","author":"S-C Chou","year":"1988","unstructured":"Chou, S.-C.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht (1988)"},{"key":"492_CR13","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry","author":"S-C Chou","year":"1994","unstructured":"Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine Proofs in Geometry. World Scienfic, Singapore (1994)"},{"key":"492_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6639-0","volume-title":"Mechanical Theorem Proving in Geometries: Basic Principles","author":"W-T Wu","year":"1994","unstructured":"Wu, W.-T.: Mechanical Theorem Proving in Geometries: Basic Principles. Springer, Wien (1994). Translated from the Chinese by X. Jin and D. Wang"},{"key":"492_CR15","volume-title":"Mathematics Mechanization","author":"W-T Wu","year":"2000","unstructured":"Wu, W.-T.: Mathematics Mechanization. Science Press, Beijing (2000)"},{"key":"492_CR16","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1080\/00029890.1978.11994688","volume":"85","author":"CO Oakley","year":"1978","unstructured":"Oakley, C.O., Baker, J.C.: The Morley trisector theorem. Am. Math. Mon. 85, 737\u2013745 (1978)","journal-title":"Am. Math. Mon."},{"key":"492_CR17","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1080\/00029890.1978.11994530","volume":"85","author":"DJ Kleven","year":"1978","unstructured":"Kleven, D.J.: Morley\u2019s theorem and a converse. Am. Math. Mon. 85, 100\u2013105 (1978)","journal-title":"Am. Math. Mon."},{"key":"492_CR18","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1080\/00029890.1982.11995509","volume":"89","author":"Y-C Wong","year":"1982","unstructured":"Wong, Y.-C., Tsang, K.-M.: A strong converse of Morley\u2019s trisector theorem. Am. Math. Mon. 89, 642\u2013653 (1982)","journal-title":"Am. Math. Mon."},{"key":"492_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6202-6","volume-title":"Elimination Methods","author":"D Wang","year":"2001","unstructured":"Wang, D.: Elimination Methods. Springer, Verlag (2001)"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00492-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11786-020-00492-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00492-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,25]],"date-time":"2021-06-25T23:38:02Z","timestamp":1624664282000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11786-020-00492-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,26]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["492"],"URL":"https:\/\/doi.org\/10.1007\/s11786-020-00492-y","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,26]]},"assertion":[{"value":"21 November 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 November 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 April 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 June 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}