The Effect of the Theorem Prover in Cognitive Science

摘要

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.