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.
