Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Ichikawa, S.: Psychology of Learning and Education. Iwanami Shoten 91 (1995) (in Japanese)
Kobayashi, H., Suzuki, H., Ono, Y.: Formalization of Henzels Lemma. In: 18th International Conference, TPHOLs, Oxford, UK, Emerging Trends Proceedings Oxford Research Report (2005)
Kozuya, T. (ed.): Memory and Knowledge (Cognitive Psychology Lecture 2), vol. 17. University of Tokyo Press (1978) (in Japanese)
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)
Polya, G.: How to solve it. Doubleday (1957)
Rasmussen, J.: Recognition engineering of interface, Keigakushuppan (1990) (in Japanese)
Tamura, H.: Human interface. Ohm-sha (1998) (in Japanese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Takahashi, T., Kobayashi, H. (2006). The Effect of the Theorem Prover in Cognitive Science. In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds) Computational Science – ICCS 2006. ICCS 2006. Lecture Notes in Computer Science, vol 3991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11758501_139
Download citation
DOI: https://doi.org/10.1007/11758501_139
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34379-0
Online ISBN: 978-3-540-34380-6
eBook Packages: Computer ScienceComputer Science (R0)