Description
Book SynopsisPresenting the proceedings of the conference held in 1990, this book is aimed at pure mathematicians.
Table of ContentsEquation-solving and theorem-proving - zero-set formulation and ideal formulation, W.J. Wu; the development of geometry, its past and future, S.T. Yau; analytic functionals and their transformations, M. Morimoto; theory of computation and complex analytic dynamics, C.T. Chong; congruence lattices of infinitary algebras and complete lattices, G. Gratzer; global small solutions to nonlinear evolution equations, R. Racke; on existentially closed groups, O. Kegel; non-standard analysis with applications in convexity, S.S. Kutateladze; Teichmuller metric and length functions of Riemannian surfaces, Li Zhong; on the decomposition of dual semigroups, K.P. Shum; groups and designs, C.E. Praeger; results and problems in the theory of valued distribution, Yang Le; integration of highly oscillatory functions in the plane, P-Y. Lee; graphs and their chromatic polynomials, K.M. Koh; on a mathematical theory of probabilistic logic, D-D. Phan; affine geometry in complex function spaces and algebras, A.J. Ellis.
