The Effect of the Theorem Prover in Cognitive Science

  • Tadashi Takahashi
  • Hidetsune Kobayashi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3991)


Humans use strategies to solve problems. Strategies are used as knowledge to plan solutions and decide procedures. A computer algebra system with a theorem prover is being developed. We must consider the theorem prover from not only the perspective of its effect on cognitive science, but also from the perspective of mathematical studies.


Cognitive Science Theorem Prover Computer Algebra System Plan Solution Abstract Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Ichikawa, S.: Psychology of Learning and Education. Iwanami Shoten 91 (1995) (in Japanese)Google Scholar
  2. 2.
    Kobayashi, H., Suzuki, H., Ono, Y.: Formalization of Henzels Lemma. In: 18th International Conference, TPHOLs, Oxford, UK, Emerging Trends Proceedings Oxford Research Report (2005)Google Scholar
  3. 3.
    Kozuya, T. (ed.): Memory and Knowledge (Cognitive Psychology Lecture 2), vol. 17. University of Tokyo Press (1978) (in Japanese)Google Scholar
  4. 4.
    Polson, P.G., Kieras, D.E.: A Quantitative Model of the Learning and Performance of Text Editing Knowledge. In: Proceedings of ACM CHI 1985 Conference on Human Factors in Computing Systems (1985)Google Scholar
  5. 5.
    Polya, G.: How to solve it. Doubleday (1957)Google Scholar
  6. 6.
    Rasmussen, J.: Recognition engineering of interface, Keigakushuppan (1990) (in Japanese)Google Scholar
  7. 7.
    Tamura, H.: Human interface. Ohm-sha (1998) (in Japanese)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Tadashi Takahashi
    • 1
  • Hidetsune Kobayashi
    • 2
  1. 1.Dept. of Mathematics and Informatics, Faculty of Human DevelopmentKobe UniversityKobeJapan
  2. 2.Dept. of Mathematics, College of Science and TechnologyNihon UniversityTokyoJapan

Personalised recommendations