Solving Harder Problems with Lesser Mathematics
Lu Yang
luyang@casit.ac.cn
Inst. of Educational Softwares
Guangzhou University
China
Abstract
There are many computer software packages for solving/proving difficult
mathematical problems/theorems in automatic mode, but most of them are
implemented as a black-box manipulation. It will be illustrated in this
talk how to make use of computer programs to deal with some interesting
and harder problems in a "readable" mode or a computer-aided mode,
which can be more accessible by more audience.
|