Abstract
“Todai Robot Project” is a project of artificial intelligence launched by National Institute of Informatics for re-unifying the artificial intelligence field subdivided in 1980s and afterwards. We focus towards attaining a high score in National Center Test for University Admissions, and use Quantifier Elimination (QE) over the real closed fields as a main tool for solving problems in mathematics. However, it is not applicable for several kinds of problems such as one with sequence. In this article, we propose an algorithm for solving problems of sequence at the National Center Test for University Admissions.
Y. Wada—Current affiliation: Atlas Co., Ltd., Tokyo, Japan. http://www.atlas.jp/en.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In this paper, for ease of understanding, we express an answer column with English alphabet.
References
Agarwal, R.P.: Difference Equations and Inequalities: Theory, Methods, and Applications, 2nd edn. Marcel Dekker, New York (2000)
Arai, N.H.: The impact of AI: can a robot get into the University of Tokyo? Natl. Sci. Rev. 2(2), 135–136 (2015)
Arai, N.H., Matsuzaki, T., Iwane, H., Anai, H.: Mathematics by machine. In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation – ISSAC 2014, pp. 1–8. ACM, New York (2014)
Bundy, A.: The automation of proof by mathematical induction. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, 2nd edn, pp. 845–911. North-Holland, Amsterdam (2001)
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–1104 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Wada, Y., Matsuzaki, T., Terui, A., Arai, N.H. (2016). An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. In: Greuel, GM., Koch, T., Paule, P., Sommese, A. (eds) Mathematical Software – ICMS 2016. ICMS 2016. Lecture Notes in Computer Science(), vol 9725. Springer, Cham. https://doi.org/10.1007/978-3-319-42432-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-42432-3_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42431-6
Online ISBN: 978-3-319-42432-3
eBook Packages: Computer ScienceComputer Science (R0)