Mathematics Mechanization: Mechanical Geometry Theorem-Proving
Mechanical Geometry Problem-Solving and Polynomial Equations-Solving2000 年出版420 页ISBN：7030066863
SEMI-RIEMANNIAN GEOMETRY WITH APPLICATIONS TO RELATIVITY
1983 年出版468 页ISBN：9780125267403
ORIENTED PROJECTIVE GEOMETRY A Framework for Geometric Computations
1991 年出版237 页ISBN：0126720258
LECTURE NOTES IN MATHEMATICS 1311: ALGEBRAIC GEOMETRY SUNDANCE 1986
1988 年出版320 页ISBN：3540192360;0387192360
TREATISE ON SOLID STATE CHEMISTRY VOLUME 2 DEFECTS IN SOLIDS
N.B.HANNAY1975 年出版527 页ISBN：0306350521
CALCULUS WITH ANALYTIC GEOMETRY BRIEF EDITION SECOND EDITION
HOWARD ANTON1984 年出版738 页ISBN：0471888176
MULTOPLE VIEW GEOMETRY IN COMPUTER VISION SECOND EDITION
RICHARD HARTLEY2000 年出版654 页ISBN：0521540518
SOLUTIONS MANUAL TO ACCOMPANY GEOMETRY OF CONVEX SETS
I.E.LEONARD2017 年出版115 页ISBN：9781119184188
Differential geometry from a singularity theory viewpoint
Shyuichi Izumiya ; Maria Del Carmen Romero Fuster ; Maria Aparecida Soares Ruas ; Farid Tari2016 年出版368 页ISBN：9814590440
Solutions Manual To Accompany Calculus With Analytic Geometry
Arthur B.Simon1982 年出版376 页ISBN：0673170136
