{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:53Z","timestamp":1740099173040,"version":"3.37.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999562"},{"type":"electronic","value":"9783319999579"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99957-9_10","type":"book-chapter","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T04:26:31Z","timestamp":1534825591000},"page":"155-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Discovering Geometry Theorems in\u00a0Regular Polygons"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2512-5793","authenticated-orcid":false,"given":"Zolt\u00e1n","family":"Kov\u00e1cs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,22]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Wu, W.T.: On the decision problem and the mechanization of theorem-proving in elementary geometry (1984)","key":"10_CR1","DOI":"10.1090\/conm\/029\/12"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T Recio","year":"1999","unstructured":"Recio, T., V\u00e9lez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reason. 23, 63\u201382 (1999)","journal-title":"J. Autom. Reason."},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1006\/ijhc.2000.0394","volume":"53","author":"S Colton","year":"2000","unstructured":"Colton, S., Bundy, A., Walsh, T.: On the notion of interestingness in automated mathematical discovery. Int. J. Hum.-Comput. Stud. 53, 351\u2013375 (2000)","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"10_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-4037-6","volume-title":"Mechanical Geometry Theorem Proving","author":"SC Chou","year":"1987","unstructured":"Chou, S.C.: Mechanical Geometry Theorem Proving. Springer, Dordrecht (1987)"},{"key":"10_CR5","first-page":"366","volume":"1","author":"P Wantzel","year":"1837","unstructured":"Wantzel, P.: 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. J. Math. Pures Appl. 1, 366\u2013372 (1837)","journal-title":"J. Math. Pures Appl."},{"key":"10_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2700-5","volume-title":"Rings, Fields, and Vector Spaces: An Introduction to Abstract Algebra via Geometric Constructibility","author":"B Sethuraman","year":"1997","unstructured":"Sethuraman, B.: Rings, Fields, and Vector Spaces: An Introduction to Abstract Algebra via Geometric Constructibility. Springer, New York (1997). https:\/\/doi.org\/10.1007\/978-1-4757-2700-5"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1090\/S0002-9904-1895-00317-1","volume":"2","author":"J Pierpont","year":"1895","unstructured":"Pierpont, J.: On an undemonstrated theorem of the disquisitiones arithmetic\u00e6. Bull. Am. Math. Soc. 2, 77\u201383 (1895)","journal-title":"Bull. Am. Math. Soc."},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1080\/00029890.1988.11971989","volume":"95","author":"AM Gleason","year":"1988","unstructured":"Gleason, A.M.: Angle trisection, the heptagon, and the triskaidecagon. Am. Math. Mon. 95, 185\u2013194 (1988)","journal-title":"Am. Math. Mon."},{"key":"10_CR9","first-page":"471","volume":"100","author":"W Watkins","year":"1993","unstructured":"Watkins, W., Zeitlin, J.: The minimal polynomial of $$\\cos (2\\pi \/n)$$cos(2\u03c0\/n). Am. Math. Mon. 100, 471\u2013474 (1993)","journal-title":"Am. Math. Mon."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.2307\/2301023","volume":"40","author":"DH Lehmer","year":"1933","unstructured":"Lehmer, D.H.: A note on trigonometric algebraic numbers. Am. Math. Mon. 40, 165\u2013166 (1933)","journal-title":"Am. Math. Mon."},{"key":"10_CR11","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. Symb. Comput. 2, 399\u2013408 (1986)","journal-title":"J. Symb. Comput."},{"key":"10_CR12","volume-title":"Regular Polytopes","author":"HSM Coxeter","year":"1973","unstructured":"Coxeter, H.S.M.: Regular Polytopes, 3rd edn. Dover Publications, New York (1973)","edition":"3"},{"unstructured":"Kov\u00e1cs, Z.: RegularNGons. A GitHub project (2018). https:\/\/github.com\/kovzol\/RegularNGons","key":"10_CR13"},{"doi-asserted-by":"crossref","unstructured":"Haas, A., et al.: Bringing the web up to speed with WebAssembly. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, pp. 185\u2013200 (2017)","key":"10_CR14","DOI":"10.1145\/3062341.3062363"}],"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-319-99957-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T13:23:32Z","timestamp":1571750612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99957-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999562","9783319999579"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99957-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}