ASCM'2000 will offer an opportunity for participants to present original research, to learn of research progress and new developments, and to exchange ideas and views on doing mathematics using computers. Original research papers on all aspects of computer mathematics are solicited for ASCM'2000. Specific topics for the symposium include but are not limited to:

• Symbolic, algebraic, and geometric computation
• Automated mathematical reasoning
• Computer-aided problem solving and instruction
• Computational algebra and geometry
• Symbolic/numeric hybrid methods
• Parallel/distributed/network computing
• Mathematical software design and implementation
• Applications in CAGD/CAD, robotics, and computer vision

The scientific program of ASCM'2000 will contain invited talks and presentations of contributed papers, together with software demonstration.

• Prof. Gaston H. Gonnet (Federal Institute of Technology Zurich, Switzerland)
• Prof. Daniel Lazard (Université Pierre et Marie Curie, France)
• Dr. William McCune (Argonne National Laboratory, USA)
• Prof. Wen-tsün Wu (Chinese Academy of Sciences, China)

Co-Chairs:

• Xiao-Shan Gao (Chinese Academy of Sciences, China)
• Dongming Wang (Centre National de la Recherche Scientifique, France)

Members:

• Shang-Ching Chou (Wichita State University, USA)
• Mark J. Encarnacion (University of the Philippines, Philippines)
• Xiao-Shan Gao (Chinese Academy of Sciences, China)
• Hoon Hong (North Carolina State University, USA)
• Jieh Hsiang (National Taiwan University, Taiwan)
• Deepak Kapur (University of New Mexico, USA)
• Hidetsune Kobayashi (Nihon University, Japan)
• Hongbo Li (Chinese Academy of Sciences, China)
• Tien-Yien Li (Michigan State University, USA)
• Zhibin Li (East China Normal University, China)
• Zhuojun Liu (Chinese Academy of Sciences, China)
• Matu-Tarow Noda (Ehime University, Japan)
• Tadashi Takahashi (Kobe University, Japan)
• Dongming Wang (Centre National de la Recherche Scientifique, France)
• Paul S. Wang (Kent State University, USA)
• Lu Yang (Chinese Academy of Sciences, China)
• Kazuhiro Yokoyama (Fujitsu Laboratories Limited, Japan)
• Hantao Zhang (University of Iowa, USA)
• Zhiming Zheng (Beijing University, China)

Authors are invited to submit papers by E-mail to both of the PC co-chairs:

Papers should be written in English and should not exceed 10 pages. The first page of each paper should contain its title, author(s) with affiliation(s) and e-mail address(es), and an abstract. All submitted papers will undergo a standard review process and the selection of papers by the program committee will be based on their originality and significance of contribution as well as their presentation. The Proceedings of ASCM'2000 will be published as a volume in the Lecture Notes Series on Computing by World Scientific Publ., Singapore/River Edge, and will be available at the symposium.

Accepted papers should be formatted, for publication in the proceedings, using LaTeX with the Proceedings Style Files (General Trim Size 8.50" x 6.00") available at http://www.wspc.com/. (Follow the link "For Authors". Click on the "Proceedings Style Files" and you will see a list of available style files. Use the one for book size 8.5" by 6".)

You may also get the styles files from this web page. Please read splread.1st to see how to prepare your papers. sprocl.sty is the LaTex style file for ASCM'2000 papers and sprocl.tex is a LaTeX sample file.

IMPORTANT DATES

• June 30, 2000: deadline for submission of papers
• August 15, 2000: notification of acceptance
• August 31, 2000: deadline for camera-ready copy

LIST OF ACCEPTED PAPERS

Symbolic and Algebraic Computation
• Parallel Coset Enumeration Using Threads, G. Havas and C. Ramsay (Australia)
• Generating Power Series of Coloured Polylogarithm Functions and Drinfel'd Associator, M. Bigotte, G. Jacob, N. E. Oussous and M. Petitot (France)
• Approximate GCD of Multivariate Polynomials, L. Zhi and M.-T. Noda (Japan)
• Gröbner Bases in Polynomial Rings over Von Neumann Regular Rings - Their applications, Y. Sato and A. Suzuki (Japan)
• A Parallel Approach of the Constrained Normal Form of a Perturbed Keplerian Hamiltonian, A. Blaga (France)
• Determinant Formulas in Ore Polynomial Algebras, Z. Li (China)
• Semi-Algebraic Approach to Piano Movers' Problem, N. Tongsiri and D. Richardson (UK)
• Quantum Self-Duall Codes and Symmetric Matrices, V. D. Tonchev (USA)
• An Attempt for Parallel Computation of Characteristic Sets, A. Iyad, D. Lin and P. S. Wang (USA)
• Zero Decomposition Algorithms for Systems of Polynomial Equations, D.-K. Wang (China)
• Subresultants with the Bézout Matrix X. Hou and D. Wang (China and France)
• Integer Roots for Integer-Power-Content Calculation, D. J. Jeffrey, M. W. Giesbrecht and R. M. Corless (Canada)

Automated Reasoning

• Logic Programming - Taking advantage of symmetry, J. Wu (Germany)
• The Degree of Certainty in Automated Uncertainty Reasoning - Summarizing experience and making optimum decisions quantitatively, G. Hu (China)
• Higher Order Pre-Unification on Intuitionistic Proof Nets, S. Matsuoka (Japan)
• Homomorphisms Theorem and Unreachability for Omega Rewriting Systems, K. Akama, H. Mabuchi and Y. Shigeta (Japan)
• Automated Theorem Proving in Projective Geometry with Bracket Algebra, H. Li and Y. Wu (China)

Graph Algorithms

• One-Dimensional Radio Broadcast Problem, S. Fujita (Japan)
• Optimally Extending Bistandard Graphs on the Grid, T. Calamoneri, Y. Liu and R. Petreschi (Italy and China)
• Ordering in Solving Systems of Equations, K. Jiang and X.-S. Gao (China)

CAGD/Computational Geometry

• Plotting Algebraic Space Curves by Cluster Computer, W. Schreiner, C. Mittermaier and F. Winkler (Austria)
• Fast Computation of Distance Between Two Disjoint 2D Convex Regions with Curved Boundaries, W. Wang, B. A. Barsky and X. Li (China and USA)
• Global Superconvergence for Blending Surfaces by Boundary Penalty plus Hybrid FEMs, Z.-C. Li and N. N. Yan (China/Taiwan)
• Filling Holes with Piecewise Algebraic Surfaces, C. Chen, F. Chen, J. Deng and Y. Feng (China)
• Efficient Implicitization of Rational Surfaces by Moving Planes, M. Zhang, R. Goldman and E.-W. Chionh (USA)
• Algebraic Surface Blending Using Wu's Method, F. Chen, J. Deng and Y. Feng (China)
• G^1 Continuous Conditions of Bicubic B-spline Surfaces, X. Shi and Y. Zhao (China)
• Equi-Cevaline Points of Triangles, L. Yang and Z. Zeng (China)

Differential Equations

• Travelling Wave Solutions to the Two-Dimensional Dissipative-Dispersive Nonlinear System with MAPLE, Z.-b. Li (China)
• Some Conclusions for (2+1)-Dimensional Generalized KP Equation: Darboux transformation, nonlinear superprosition formula and soliton-like solutions, Z.-y. Yan and H.-q. Zhang (China)
• A Stability and Diversity Analysis on a Mathematical Model of the Interaction Between HIV and T-Cell CD4+, Y. Ishida (Japan)
• On the Differential-Integral Analogue of Zeilberger's Algorithm to Rational Functions, H. Q. Le (Canada)
• Reduced Form of Yang-Mills Equation of SU(2) on R^{2,2}, H. Shi (China)
• A Computer Algebra Approach for Solving Singularly Perturbed Initial Value Problems, R. Khanin (UK)
• Local Geometric Structures and Bifurcations of a Polynomial Differential System from a General Multi-Molecular Reaction, X. Hou, R. Yan and W. Zhang (China)
• Darboux Transformation and Soliton-Like Solutions of Dispersive Long Wave Equation, E. Fan (China)

Mathematical Software

• Mathematical Computing on Network, L. Li and X. Zou (China)
• Dragonfly: A Java-Based IAMC Client Prototype, W. Liao and P. S. Wang (USA)
• Towards Good C++ Interval Libraries: Tricks and traits, F. Coualard (France)
• Mathematical Software Design and Implementation, M. Kolodnytsky (Ukraine)

Previously Held ASCMs