Plenary Speeches (Abstracts other than stated)
- Improving Student Understanding
About Computational Processes, Problem Solving Techniques, and
Proof Using Hand-Held Technology (Full Paper in PDF), Franklin DEMANA, The Ohio
State University, USA
- Technological Impact of Modern
Abstract Mathematics (Full Paper in PDF), Tosiyasu L. KUNII, Hosei University and
Monolith Co., Ltd., Japan
-
Education meets Computer Algebra: A Double Challenge, Bernhard
KUTZLER, University of Linz, Austria
- Computer Algebra Systems Ten Years From
Now (Presentation Slides), Benton Leong, Waterloo Maple Inc.
- Practical Automated Reasoning on
Inequalities: Generic Programs for Inequality Proving and Discovering
(Full Paper in PDF),
Lu YANG, Guangzhou Normal University, China
- From Arithmetic to Algebra
and Calculus: Making the Rhetoric of the Function Approach Real,
Michal YERUSHALMY, University of Haifa, Israel
- Automated Reasoning in ICAI
(Full Paper in PDF),
Jingzhong ZHANG & Chuanzhong LI, Guangzhou Normal University,
China
© Asian Technology Conference in Mathematics, 1998.