ASCM’98 

August 6-8, 1998, Lanzhou, China 

Proceedings of ASCM'98 

Zhibin Li (Ed.) 

Lanzhou University Press. 

PROGRAM   COMMITTEE 

  

Chairman

Zhuojun Liu (Beijing, China) 

PC Members

Mark j. ENCARNACION (Quezon City, Philippines) 

Xiaoshan GAO (Beijing, China) 

George HAVAS (Queensland,Australia) 

Jieh HSIANG (Taibei, China) 

Oscar IBARRA (Santa Babara, U.S.) 

U-Hang KI (Taegu, Korea) 

Zhibin LI (Lanzhou, China) 

Hirokazu MURAO (Tokyo, Japan) 

Tadashi TAKAHASHI (Kobe, Japan) 

Lu YANG (Chengdu, China) 

  

ORGANIZING COMMITTEE 

Chairman

Lian LI (Lanzhou, China) 

Organization Committee Members

Hidetsune KOBAYASHI (Tokyo, Japan) 

Xiaorong HOU (Chengdu, China) 

Huilin LI (Hangzhou, China) 

Dongdai LIN (Beijing, China)                        lanzhou 

Stanley BURRID (Waterloo, Canada)                  august 1998 

Jimin WANG (Lanzhou, China) 

Shugong ZHANG (Changchun, China) 

Jianping YIN (Changsha, China) 

  

  

  

                             PREFACE TO THE PROCEEDINGS 

ASCM’98 will be the 3^rd in the series of such conferences and id held in Lanzhou, August 5-8, 1998. It is sponsored by Lanzhou University (LZU, China), the Mathematics Mechanization Research Center (MMRC, China) and the Japan Society for Symbolic and Algebraic Computation(JSSAC, Japan).  The generous support of our corporate sponsors provided for essential elements of the meeting. For these, we will give our special thanks to 

Natural Science Foundation of China 

The Ministry of Education, China 

The Ministry of Science and Technology, China 

China International Center for Economic &Technical Exchanges 

Our deep appreciation also goes to all the Program Committee members and Organization Committee members for their hard work.. Last but not least, we thank all the referees who have assisted us to select 34 papers included in this proceedings, they are Stanley Burris, Hong Du, Mark J. Encarnacion, Weiwu Fang, Guochen Feng, Ciaoshan Gao, Aiwen Guan, George Havas, Xiaorong Hou, Jieh Hsiang, Kai Huang, Qieyuan Huang,Oscar Ibarra, Hidetsune Kobayashi, Huilin Li, Shurong Li, Xiang Li, Yongli Li, Zhibin Li, Dongdai Lin, Zuoquan Lin, Jun Liu, Zhengyi Lu, Shilong Ma, Hirokazu Murao, Dongxu Qi, He Shi, Xiquan Shi, Tadadhi Takahashi, Haiming Wang, Ju Wang, Minliang Wang, Renhong Wang, Shikun Wang, Ke Wu, Wenda Wu, Chuangxiang Xu, Lu Yang, Jianping Yin, Zhenbing Zeng, Hongqing Zhang, Naixiao Zhang, Shugong Zhang, Tongzhuang Zhang and Xiao Zou. We look forward to ASCM’98 and hope you will find it an excellent and enjoyable symposium. 

  

Zhoujun Liu 

Chairman 

Program Committee of ASCM’98 

  

Lian Li 

Chairman 

Organization Committee of ASCM’98 

  

  

  

                    CONTENTS OF THE PROCEEDINGS 

Preface …………………………………………………………………………………  I 

  

Thursday, August 6

  

IAMC: Internet Accessible Mathematical Computation ………………………………  1 

Paul S. WANG 

  

Building Dynamic Mathematical Models with Geometry expert: Ⅱ.Linkages ……… 15 

Xiaoshan GAO,Changcai ZHU and Yong HUANG 

  

Algebraic Factorization Applied to Geometric Problems ……………………………… 23 

Dongming WANG and Lihong ZHI 

  

Approximate Theorem-proving on Complex Numbers System …………………………37 

Lian LI, Jimin WANG and Xuhua HAN 

  

Clifford Algebra and Mechanical Geometry Theorem Proving …………………………49 

Haiquan YANG, Shugong ZHANG and Guochen FENG 

  

Matrix Reduction Algorithms for Euclidean Rings………………………………………65 

George HAVAS and Clemens WAGNER 

  

How to Give Local Strategies to Function Symbols for Equality of Two Implementations  of the Estrategy with and without Evaluated Flags …………………………………… 71 

Takashi NAGAYA, Michihiro MATSUMOTO, Kazuhiro OGATA and Kokichi FUTATSUGI 

  

Two Problem in Symbolic Approach to Mathematics Research…………………………83 

Shilong MA, Zhiming ZHENG and Shucheng NING 

  

Two Applications of BSS Machine ………………………………………………………95 

Jimin WANG and Lian LI 

  

The Integrated Use of Computer Algera Systems across the Internet…………………. 101 

Hiroaki DEGUCHI 

  

Mathematical Research Software: ELIMINO…………………………………………107 

Dongdai LIN, Jun LIU and Zhuojun LIU 

  

CAWOS: A New Distributed Mathematical Platform………………………………… 115 

Xiao ZOU and Lian LI 

  

A Remote Control System of Computer Algebra Systems by using SCS and Real Time Mathematical Communication………………………………………………………… 123 

Tadashi TAKAHASHI and Yorikazu TAKEUCHI 

  

Software Pakage CNAT…………………………………………………………………125 

Yuzhen HUANG 

  

  

Friday, August 7

  

Janet Bases for Symmetry Groups………………………………………………………131 

Fritz SCHWARZ 

  

On Global-Optimization Problems …………………………………………………… 135 

Wentsun WU 

  

An Algorithm for Computing the Formal Invariants of Linear Difference System ……139 

Moulay A. BARKATOU and Guoting CHEN 

  

The Compatible Conditions of System u = cv, dv = 0 …………………………………147 

Hongqing ZHANG and Yufu CHEN 

  

Analytical Solitary Wave Slutions for the Nonlinear Schrodinger Equation Coupled To the Kortewegde Vrise Equation…………………………………………………………… 155 

Zhibin LI 

  

Some Exact Explicit Solutions for a Class of Nonlinear Heat Equation in Mathematical Physics………………………………………………………………………………… 159 

Engui FAN and Hongqing ZHANG 

  

Construction of a Class of Algebraic-Geometric Codes via Grobner Bases ………… 165 

Changyan DI and Zhoujun LIU 

  

On Triangulations of Algebraic Curves ……………………………………………… 173 

Yoshihiko SAKAI and Hidetsune KOBAYASHI 

  

On the Solution Classification of the “P3P” Problem………………………………… 185 

Xiaoshan GAO and Hangfei CHENG 

  

Three-way lends of Implicit Algebraic Surfaces with Canonical Expansion…………201 

Guochen FENG, Tieru Wu, Kai YU and Yunshi ZHOU 

  

A Mathematical Model for Solar Insolation ……………………………………………209 

Ralf LEUTZ, Akio SUZUKI, Atsushi AKISAWA and Takao KASHIWAGI 

  

A Kind of GC2 Blending of Triangular Bezier Patches…………………………………217 

Xianghai WANG and Yunshi ZHOU 

  

Wu Method for Forward Displacement Analysis of the 2TPS-TRS Spatial Parallel Manipulator……………………………………………………………………………229 

Lin HAN, Qizheng LIAO and Chonggao LIANG 

  

On the Observability of General Control Systems …………………………………… 235 

Shurong LI 

  

On Algebra Stability ……………………………………………………………………241 

Yuhao CONG 

  

  

Saturday, August 8

  

  

Using Prover ANDP Find Shorter And More Intuitive Axioms For von Plato’s Constructive Apartness Geometry   ………………………………………………….247 

Dafa LI 

  

Formal Derivation of A Generic Algorithmic Program For Solving General Path Problems ……………………………………………………………………………… 253 

Jinyun XUE and Shixing WU 

  

CWA in Multi-Valued Logics………………………………………………………… 259 

Jinzhao WU and Mi LU 

  

Logic on the Web……………………………………………………………………… 271 

Stanley BURRIS 

  

On the Decision of Definiteness of Polynomials………………………………………..281 

Tianjiao WU 

  

Author Index ……………………………………………………………………………285