ENUMERATIVE INVARIANTS IN ALGEBRAIC GEOMETRY AND STRING THERY
2008 年出版201 页ISBN:9783540798132
Nonlinear problems of analysis in geometry and mechanics
1981 年出版208 页ISBN:0273084933
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
SEMI-RIEMANNIAN GEOMETRY WITH APPLICATIONS TO RELATIVITY
1983 年出版468 页ISBN:9780125267403
ORIENTED PROJECTIVE GEOMETRY A Framework for Geometric Computations
1991 年出版237 页ISBN:0126720258
Computational Commutative and Non-Commutative Algebraic Geometry
2005 年出版325 页ISBN:1586035053
DIFFERENTIAL GEOMETRY WITH APPLICATIONS TO MECHANICS AND PHYSICS
2001 年出版454 页ISBN:0824703855