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 3rd 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