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