{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:26:36Z","timestamp":1743024396313,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030271947"},{"type":"electronic","value":"9783030271954"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-27195-4_3","type":"book-chapter","created":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T09:03:14Z","timestamp":1564650194000},"page":"29-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Probabilistic Algorithm for Verification of Geometric Theorems"],"prefix":"10.1007","author":[{"given":"Mingyan","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenbing","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,1]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Chou, S.C.: Proving elementary geometry theorem using Wu\u2019s Algorithm. Department of Mathematics, University of Texas at Austin, Ph.D. thesis (1985)","key":"3_CR1","DOI":"10.1090\/conm\/029\/14"},{"issue":"4","key":"3_CR2","first-page":"221","volume":"2","author":"WT Wu","year":"1986","unstructured":"Wu, W.T.: Basic principles of mechanical theorem proving in elementary geometries. J. Symb. Comput. 2(4), 221\u201325 (1986)","journal-title":"J. Symb. Comput."},{"key":"3_CR3","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 Grobner bases to reason about geometry problems. J. Symb. Comput. 2, 399\u2013408 (1986)","journal-title":"J. Symb. Comput."},{"doi-asserted-by":"crossref","unstructured":"Kutzler, B., Stifter, S.: Automated geometry theorem proving using Buchberger\u2019s algorithm. In: On Symbolic and Algebraic Computation, pp. 209\u2013214. ACM Press (1986)","key":"3_CR4","DOI":"10.1145\/32439.32480"},{"doi-asserted-by":"crossref","unstructured":"Kapur, D., Saxena, T., Yang, L.: Algebraic and geometric reasoning using Dixon resultant. In: Proceedings of ISSAC 1994, vol. 7, pp. 97\u2013107 (1994)","key":"3_CR5","DOI":"10.1145\/190347.190372"},{"issue":"3","key":"3_CR6","first-page":"234","volume":"16","author":"JW Hong","year":"1986","unstructured":"Hong, J.W.: Can we prove geometry theorem by computing an example? Sci. China Math. (Ser. A) 16(3), 234\u2013243 (1986)","journal-title":"Sci. China Math. (Ser. A)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(90)90077-U","volume":"74","author":"JZ Zhang","year":"1990","unstructured":"Zhang, J.Z., Yang, L., Deng, M.K.: The parallel numerival methods in mechanical theorem proving. Theoret. Comput. Sci. 74, 253\u2013271 (1990)","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR8","volume-title":"On Proving Theorems in Plane Geometry via Digital Computer","author":"RE Bellman","year":"1965","unstructured":"Bellman, R.E.: On Proving Theorems in Plane Geometry via Digital Computer. RAND Corporation, Santa Monica (1965)"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1145\/322217.322225","volume":"27","author":"JT Schwartz","year":"1980","unstructured":"Schwartz, J.T.: Fast probabilistic algorithms for verification of polynomical identities. J. ACM 27, 701\u2013717 (1980)","journal-title":"J. ACM"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/BFb0022721","volume-title":"Automated Deduction in Geometry","author":"G Carr\u00e1 Ferro","year":"1997","unstructured":"Carr\u00e1 Ferro, G., Gallo, G., Gennaro, R.: Probabilistic verification of elementary geometry statements. In: Wang, D. (ed.) ADG 1996. LNCS, vol. 1360, pp. 87\u2013101. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0022721"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"577","DOI":"10.2307\/1971361","volume":"126","author":"WD Brownawell","year":"1987","unstructured":"Brownawell, W.D.: Bounds for the degrees in the Nullstellensatz. Ann. Math. 126, 577\u2013591 (1987)","journal-title":"Ann. Math."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"963","DOI":"10.2307\/1990996","volume":"1","author":"J Kollar","year":"1988","unstructured":"Kollar, J.: Sharp effective Nullstellensatz. J. Am. Math. Soc. 1, 963\u2013975 (1988)","journal-title":"J. Am. Math. Soc."},{"key":"3_CR13","series-title":"Progress in Mathematics","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-1-4612-0441-1_8","volume-title":"Effective Methods in Algebraic Geometry","author":"G Gallo","year":"1990","unstructured":"Gallo, G., Mishra, B.: Efficient algorithm and bounds for Wu-Ritt characteristic sets. In: Mora, T., Traverso, C. (eds.) Effective Methods in Algebraic Geometry. Progress in Mathematics, vol. 94, pp. 119\u2013142. Birkhauser, Boston (1990). https:\/\/doi.org\/10.1007\/978-1-4612-0441-1_8"},{"key":"3_CR14","first-page":"111","volume":"6","author":"G Gallo","year":"1991","unstructured":"Gallo, G., Mishra, B.: Wu-Ritt characteristic sets and their complexity. DIMACS Ser. 6, 111\u2013136 (1991)","journal-title":"DIMACS Ser."},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-45410-1_5","volume-title":"Automated Deduction in Geometry","author":"D Tulone","year":"2001","unstructured":"Tulone, D., Yap, C., Li, C.: Randomized xero testing of radical expressions and elementary geometry theorem proving. In: Richter-Gebert, J., Wang, D. (eds.) ADG 2000. LNCS (LNAI), vol. 2061, pp. 58\u201382. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45410-1_5"},{"unstructured":"Tulone, D., Yap, C., Li, C.: Core Library. http:\/\/cs.nye.edu\/exact\/cpre\/","key":"3_CR16"},{"unstructured":"Wang, D.M.: EPSILON. http:\/\/www-calfor.lip6.fr\/wang\/epsilon\/","key":"3_CR17"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BF00244942","volume":"4","author":"SC Chou","year":"1988","unstructured":"Chou, S.C.: An introduction to Wu\u2019s method for mechanical theorem proving in geometry. J. Autom. Reason. 4, 237\u2013267 (1988)","journal-title":"J. Autom. Reason."},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01231031","volume":"36","author":"DM Wang","year":"1989","unstructured":"Wang, D.M.: A new theorem discovered by computer prover. J. Geom. 36, 173\u2013182 (1989)","journal-title":"J. Geom."},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24616-9_4","volume-title":"Automated Deduction in Geometry","author":"X-S Gao","year":"2004","unstructured":"Gao, X.-S., Lin, Q.: MMP\/Geometer \u2013 a software package for automated geometric reasoning. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 44\u201366. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24616-9_4"},{"key":"3_CR21","first-page":"1066","volume":"34","author":"MK Deng","year":"1989","unstructured":"Deng, M.K.: The parallel numerical method of proving the construction geometric theorem. Chin. Sci. 34, 1066\u20131070 (1989)","journal-title":"Chin. Sci."},{"issue":"3","key":"3_CR22","first-page":"29","volume":"1","author":"L Yang","year":"2002","unstructured":"Yang, L., Zhang, J.Z., Li, C.Z.: A prover for papallel numerical verification to a class of constructive geometirc theorem. J. Guangzhou Univ. (Nat. Sci. Ed.) 1(3), 29\u201334 (2002)","journal-title":"J. Guangzhou Univ. (Nat. Sci. Ed.)"},{"key":"3_CR23","volume-title":"Statistical Inference","author":"G Casella","year":"2001","unstructured":"Casella, G., Berger, R.L.: Statistical Inference, 2nd edn. Duxbury Press, Duxbury (2001)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Aspects in Information and Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-27195-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:16:02Z","timestamp":1709824562000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-27195-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030271947","9783030271954"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-27195-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AAIM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Algorithmic Applications in Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aaim2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/theory.ict.ac.cn\/aaim2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}