Solving Harder Problems with Lesser Mathematics
Inst. of Educational Softwares
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.