{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:14:00Z","timestamp":1751688840198,"version":"3.41.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319927527"},{"type":"electronic","value":"9783319927534"}],"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-92753-4_9","type":"book-chapter","created":{"date-parts":[[2018,6,7]],"date-time":"2018-06-07T07:26:53Z","timestamp":1528356413000},"page":"102-115","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Machine Solving on Hypergeometric Distribution Problems"],"prefix":"10.1007","author":[{"given":"Chao","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yao","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinguo","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,6]]},"reference":[{"key":"9_CR1","unstructured":"Bobrow, D.G.: Natural language input for a computer problem solving system (1964)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated production of traditional proofs for theorems in Euclidean geometry. In: Proceedings of Eigth IEEE Symposium on Login in Computer Science, pp. 48\u201356 (1993)","DOI":"10.1109\/LICS.1993.287601"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"147","DOI":"10.3758\/BF03201014","volume":"18","author":"D Dellarosa","year":"1986","unstructured":"Dellarosa, D.: A computer simulation of children\u2019s arithmetic word-problem solving. Behav. Res. Methods 18(2), 147\u2013154 (1986)","journal-title":"Behav. Res. Methods"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Hosseini, M.J., Hajishirzi, H., Etzioni, O., Kushman, N.: Learning to solve arithmetic word problems with verb categorization. In: EMNLP, pp. 523\u2013533 (2014)","DOI":"10.3115\/v1\/D14-1058"},{"key":"9_CR5","unstructured":"Huang, C.-Y., Ren, Q.-L., L.M.: The de-composability and representation of strategies used in auto-solving system of primary school mathematic word problems. Mod. Educ. Technol. 20, 24\u201327 (2010)"},{"key":"9_CR6","first-page":"20","volume":"12","author":"Y Jianliang","year":"2013","unstructured":"Jianliang, Y.: Hypergeometric distribution and its generalization. J. TaiYuan Normal Univ. 12, 20\u201323 (2013)","journal-title":"J. TaiYuan Normal Univ."},{"issue":"2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1207\/s1532690xci0302_1","volume":"3","author":"W Kintsch","year":"1986","unstructured":"Kintsch, W.: Learning from text. Cognit. Instr. 3(2), 87\u2013108 (1986)","journal-title":"Cognit. Instr."},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1037\/0033-295X.92.1.109","volume":"92","author":"W Kintsch","year":"1985","unstructured":"Kintsch, W., Greeno, J.G.: Understanding and solving word arithmetic problems. Psychol. Rev. 92(1), 109 (1985)","journal-title":"Psychol. Rev."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Kushman, N., Artzi, Y., Zettlemoyer, L., Barzilay, R.: Learning to Automatically Solve Algebra Word Problems. Association for Computational Linguistics (2014)","DOI":"10.3115\/v1\/P14-1026"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-31178-9_29","volume-title":"Natural Language Processing and Information Systems","author":"C Liguda","year":"2012","unstructured":"Liguda, C., Pfeiffer, T.: Modeling math word problems with augmented semantic networks. In: Bouma, G., Ittoo, A., M\u00e9tais, E., Wortmann, H. (eds.) NLDB 2012. LNCS, vol. 7337, pp. 247\u2013252. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31178-9_29"},{"key":"9_CR11","unstructured":"Ma, Y.H., Tan, K., Shang, X.J.: Research on method of semantic comprehension based on semantic sentence template. Comput. Technol. Dev. 10, 031 (2012)"},{"issue":"2","key":"9_CR12","first-page":"159","volume":"21","author":"WD Tun","year":"1978","unstructured":"Tun, W.D.: On the decision problem and the mechanization of theorem-proving in elementary geometry. Sci. Sinica 21(2), 159\u2013172 (1978)","journal-title":"Sci. Sinica"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF01531326","volume":"13","author":"JZ Zhang","year":"1995","unstructured":"Zhang, J.Z., Chou, S.C., Gao, X.S.: Automated production of traditional proofs for theorems in euclidean geometry i. The hilbert intersection point theorems. Ann. Math. Artif. Intell. 13(1), 109\u2013137 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"9_CR14","first-page":"15","volume":"37","author":"JZ Zhang","year":"1994","unstructured":"Zhang, J.Z., Yang, L., Yang, X.C.: The realization of elementary configurations in euclidean space. Sci. China Ser. A-Math. Phys. Astron. Technol. Sci. 37(1), 15\u201326 (1994)","journal-title":"Sci. China Ser. A-Math. Phys. Astron. Technol. Sci."}],"container-title":["Lecture Notes in Computer Science","Image and Video Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92753-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T00:52:46Z","timestamp":1751676766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92753-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319927527","9783319927534"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92753-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}