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