An Inequality-Proving Program Applied to Global Optimization

Lu Yang, Guangzhou University, Guangzhou
Shihong Xia, Chengdu Institute of Computer Applications, Academia Sinica
China

Indispensable Manual Calculation Skills in a CAS Math Teaching Environment

Bernhard Kutzler (b.kutzler@eunet.at), ACDCA
Austria

On Categories of Interactive Computational Web Tools

Linda Becerra, Ongard Sirisaengtaksin, Bill Waller
University of Houston-Downtown, Houston, Texas
U.S.A