Mathematics Mechanization: Mechanical Geometry Theorem-Proving
Mechanical Geometry Problem-Solving and Polynomial Equations-Solving2000 年出版420 页ISBN：7030066863
CALCULUS AND ANALYTIC GEOMETRY THIRD EDITION VOLUME II
1990 年出版926 页ISBN：0131165836
STOCHASTIC GEOMETRY AND ITS APPLICATIONS THIRD EDITION
SUNG NOK CHIU DIETRICH STOYAN WILFRID S.KENDALL JOSEPH MECKE2013 年出版544 页ISBN：0470664810
ORIENTED PROJECTIVE GEOMETRY A Framework for Geometric Computations
1991 年出版237 页ISBN：0126720258
Computational Commutative and Non-Commutative Algebraic Geometry
2005 年出版325 页ISBN：1586035053
INTEGRATING COLLEGE STUDY SKILLS REASONING IN READING
LISTENING1996 年出版416 页ISBN：
DEVELOPING READING SKILLS FOR SCIENCE AND TECHNOLOGY
1988 年出版172 页ISBN：002368500X
