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 blackbox 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 computeraided mode,
which can be more accessible by more audience.
