ASCM’96
August 18-20, 1996, Kobe, Japan
Proceedings of ASCM'96
Hidetsune Kobayashi (Ed.)
Scientists Incorporated, Tokyo, Japan.
PREFACE TO THE PROCEEDINGS
The Asian Symposium on Computer Mathematics (ASCM) is an international forum for the exchange of ideas and techniques for doing mathematics by computer. Topics if the symposium include symbolic computations, mechanical theorem proving, computational geometry, combined symbolic/numeric method, applications of symbolic computations in education and other fields, and software design.
ASCM’96 is held in Kobe, August 20-22,1996,and it is organized by the Japan Society for Symbolic and Algebraic Computation (JSSAC, Japan) in cooperation with the Mathematics Mechanization Research Center (MMRC, China).
The conference is carried on two tracks: the Regular Track (RT) and the Education Track (ET) for Japanese attendants of special interest. The Regular Track activities include invited presentations and original research contributions on computer mathematics; the Education Track focuses on teaching and learning of mathematics with computer mathematics tools, including original research contribution, reports, panel discussions, school simulation and software demos.
Kobayashi Hidetsune
Kobe
August 1996
CONTENTS
Preface ……………………………………………………………………………………. page I
Tuesday, August 20
A Complete Discrimination System of a Polynomial …………………………………………… 1
Lu Yang, Xiao-Rong Hou and Zhen-Bing Zeng
7
Shilong Ma and Ning Shucheng
Approximate parameterization of prime ideals in neighbourhood of a given point .…………..19
Li Lian and Niu Yi
Using a Natural Constraint to Approximate Area and Volume……………………………………31
YongJian Ye, Yiming Ye, Xiang Zhang and QinShi Gao
Using Interval Arithmetic and Polynomial Norms to Determine Signs of Algebraic Numbers….43
Hiroshi Sekigawa
Design and Performance Analysis of Complex Optical Devices using Symbolic Computation….55
Y. Papegay and S. Philoreau
Finding Solitary Wave Solutions of Nonlinear Wave Equations using Symbolic Computation….63
Zhibin Li and Shukai CHEN
Blending two quadratic algebraic surfaces with cubic surfaces…………………………………..73
Wu Tie-ru, Zhou Yun-shi and Feng Guo-chen
Notation Extension Methods In Mathematical Notation Parsing for Mathematical Computation..81
Yanjie Zhao, Tetsuya Sakurai, Hiroshi Sugiura, and Tatsuo Torii
The Influence of the Technology on the Teaching and Learning of Trigonometric Functions .…93
Akihiko Saeki
Let Symbolic Manipulation System will-used for Mathematical Education to articulate symbolic algebra package with object-oriented method……………………………………………………..99
Lin Jian-xiang
On the Efficient Use of Computer Algebra Systems in Mathematics Education………………..107
Tadashi Takahashi and Hiroaki Deguchi
Wednesday, August 21
A system for Automatically Analyzing Qualitative Behaviors of Dynamical Systems…………111
Shuchen Ning, Shilong Ma, Junhai Li, and Zhiyong Chen
QUATERMAN vs. QUATERNICA : A Comparative Implementation of Quaternions in Maple and
Mathematica .…………………………………………………………………………………… 113
Y. Papegay and S.Dalmas
STAR: Small Tool for Algebraic Reseaerch……………………………………………………..121
Zhuojun Liu, Wenda wu
Implementation and preliminary experiments of computer algebra system Risa/Asir on parallel computer AP1000………………………………………………………………………………..133
Takayuki kando and Masayuki Noro
On the Relations of Trimodular Type simple K3 Singularities…………………………………143
Tadashi Takahashi
Automated Two-Dimensional Geometric Constraint Solving…………………………………..153
Shang-China Chou, Xiao-Shan Gao, and Jing-Zong Zhang
On First-Order Theorem Proving………………………………………………………………..165
Jinzhao Wu and Zhuojun LIU
Recent Advances of Automated Geometry Theorem Proving with High Level Geometry Invariants…………………………………………………………………………………………173
Shang-Ching Chou, Xiao-shan Gao and Jing-Zhong Zhang
Author Index……………………………………………………………………………………..187