Plenary Abstract Presented at the 10th Asian Technology Conference in Mathematics
December 12-19, 2005, South Korea

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.

close Electronic Proceedings of ATCM
ATCM, Inc. 2005