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 

Wednesday, August 21

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