{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:03:37Z","timestamp":1760061817001},"publisher-location":"Cham","reference-count":5,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319424316"},{"type":"electronic","value":"9783319424323"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42432-3_11","type":"book-chapter","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T11:12:09Z","timestamp":1467717129000},"page":"82-89","source":"Crossref","is-referenced-by-count":2,"title":["An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination"],"prefix":"10.1007","author":[{"given":"Yumi","family":"Wada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuya","family":"Matsuzaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akira","family":"Terui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noriko H.","family":"Arai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,6]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","DOI":"10.1201\/9781420027020","volume-title":"Difference Equations and Inequalities: Theory, Methods, and Applications","author":"RP Agarwal","year":"2000","unstructured":"Agarwal, R.P.: Difference Equations and Inequalities: Theory, Methods, and Applications, 2nd edn. Marcel Dekker, New York (2000)","edition":"2"},{"issue":"2","key":"11_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1093\/nsr\/nwv011","volume":"2","author":"NH Arai","year":"2015","unstructured":"Arai, N.H.: The impact of AI: can a robot get into the University of Tokyo? Natl. Sci. Rev. 2(2), 135\u2013136 (2015)","journal-title":"Natl. Sci. Rev."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Arai, N.H., Matsuzaki, T., Iwane, H., Anai, H.: Mathematics by machine. In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation \u2013 ISSAC 2014, pp. 1\u20138. ACM, New York (2014)","DOI":"10.1145\/2608628.2627488"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1016\/B978-044450813-3\/50015-1","volume-title":"Handbook of Automated Reasoning","author":"A Bundy","year":"2001","unstructured":"Bundy, A.: The automation of proof by mathematical induction. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, 2nd edn, pp. 845\u2013911. North-Holland, Amsterdam (2001)","edition":"2"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Matsuzaki, T., Iwane, H., Anai, H., Arai, N.H.: The most uncreative examinee: a first step toward wide coverage natural language math problem solving. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp. 1098\u20131104 (2014)","DOI":"10.1609\/aaai.v28i1.8869"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42432-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T14:58:21Z","timestamp":1656773901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42432-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319424316","9783319424323"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42432-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}