Mathematical Thinking and Theorem Prover by using Computer Algebra Systems
Tadashi Takahashi takahasi@kobeu.ac.jp
Dept. of Math. and Info. Kobe University Japan
Abstract
The studies of theorem prover by using computer algebra systems
are executed. In these studies, analysis of mathematical thinking is important.
It is difficult for us to make understanding process of knowledge base clear.
However, the advance of these studies will change the mathematics education
using technology. We consider the effective use of theorem prover in mathematics
education.
