LECTURE NOTES IN MATHEMATICS 1289: K-THEORY
ARITHMETIC AND GEOMETRY1987 年出版399 页ISBN：3540185712;0387185712
Mathematics Mechanization: Mechanical Geometry Theorem-Proving
Mechanical Geometry Problem-Solving and Polynomial Equations-Solving2000 年出版420 页ISBN：7030066863
LIE GROUPS AND ALGEBRAS WITH APPLICATIONS TO PHYSICS
GEOMETRY1986 年出版215 页ISBN：
A Treatise on algebra volume II:on symbolical algebra
and its aoolications to the geometry of position2005 年出版455 页ISBN：0486439216
DIMACS Series In Discrete Mathematics and Theoretical Computer Science Volume 72 Data Depth:Robust M
Computational Geometry and Applications2006 年出版0 页ISBN：
