Skip to main content
SpringerLink
Log in

An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination

  • Conference paper
  • First Online:
Book cover Mathematical Software – ICMS 2016 (ICMS 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9725))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    In this paper, for ease of understanding, we express an answer column with English alphabet.

References

  1. Agarwal, R.P.: Difference Equations and Inequalities: Theory, Methods, and Applications, 2nd edn. Marcel Dekker, New York (2000)

    MATH  Google Scholar 

  2. Arai, N.H.: The impact of AI: can a robot get into the University of Tokyo? Natl. Sci. Rev. 2(2), 135–136 (2015)

    Article  MathSciNet  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Tsukuba, Tsukuba, Japan

    Yumi Wada & Akira Terui

  2. Nagoya University, Nagoya, Japan

    Takuya Matsuzaki

  3. National Institute of Informatics, Tokyo, Japan

    Noriko H. Arai

Authors
  1. Yumi Wada
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Takuya Matsuzaki
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Akira Terui
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Noriko H. Arai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Akira Terui .

Editor information

Editors and Affiliations

  1. Universität Kaiserslautern , Kaiserslautern, Germany

    Gert-Martin Greuel

  2. Zuse Institute Berlin , Berlin, Germany

    Thorsten Koch

  3. Johannes Kepler University Linz , Hagenberg, Austria

    Peter Paule

  4. University of Notre Dame , Notre Dame, Indiana, USA

    Andrew Sommese

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation