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
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
OPTIMAL CONTROL AND DIFFERENTIAL EQUATIONS
A.B.SCHWARZKOPF WALTER G.KELLEY STANLEY B.ELIASON2222 年出版335 页ISBN:0126322503