Advertisement
Published in:
2016 | OriginalPaper | Chapter
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination
Authors : Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai
Published in: Mathematical Software – ICMS 2016
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.