IWMM'1992
The International Workshop on Mathematics Mechanization
Beijing, China, July 16-18, 1992
Proceedings Editors
Wen-Tsun Wu and Min-De Cheng
Preface of the Proceedings
In year 1990 the National Science Committee and the Chinese
Academy of Sciences (or Academia Sinica) decided to establish
a Research Center in the Institute of Systems Science of the
Academy. The Center will aim at the study of Mathematics
Mechanization} which is closely related to such disciplines
vividly developed in recent years like Automated Reasoning,
Symbolic Computation, Computer Algebra, et al. We adopted
the name of Mathematics Mechanization for the Center
which had its origin in works of Hao Wang, one of the pioneers
in using computers to the research of mathematics, theorem-proving
in particular. This International Workshop on Mathematics
Mechanization will be the first one of a series of Workshops
bearing the same title. They are aimed at the interchange of
views and ideas about the development of related subjects for the
sake of world-wide cooperations. The present first Workshop
has its theme mainly restricted to algebraic equations solving,
both in theories and in applications, for which the importance
as well as difficulties have been widely well-acknowledged.
More than ten mathematicians and computer scientists beyond China had
accepted our invitations and contributed papers to be presented
on the Workship. All these papers, as well as those by workers in
China proper, have been collected in this Proceedings, to be
distributed in the opening day of the Workshop. On behalf of the
Center the undersigned would like to express our warm gratitudes to
all the contributors, the principal sponsors of the Workshop,
viz. the National Natural Science Foundation of China and the Academy,
and besides, the International Academic Publishers who takes cares
of the fast printing of this volume.
Wu Wen-tsun
Director
Mathematics Mechanization Research Center
1992
Table of Contents of the Proceedings
Geometric Design
Space Mechanism Design
Geometric Theorem Proving
Differential Systems