Mathematical Methods in Linguistics
（美）Barbara H.Partee Alice ter Meulen Robert E.Wall2009 年出版664 页ISBN：
COACHING VOLLEYBALL TECHNICAL AND TECTICAL SKILLS
CECILE REYNAUD IN COOPERATION WITH AMERICAN SPORT EDUCATION PROGRAM2011 年出版250 页ISBN：0736053840
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
ORIENTED PROJECTIVE GEOMETRY A Framework for Geometric Computations
1991 年出版237 页ISBN：0126720258
Computational Commutative and Non-Commutative Algebraic Geometry
2005 年出版325 页ISBN：1586035053
