Computer Mathematics - Proceedings Of The Special Program At Nankai Institute Of Mathematics

A collection of conference papers which discuss topics in computer mathematics. Subjects covered include: computations with rational parametric equations; theorem proving in Riemann geometry using Wu's method; and the finite basis of an irreducible ascending set.