CALCULUS WITH ANALYTIC GEOMETRY A FIRST COURSE
MURRAY H.PROTTER AND CHARLES B.MORREY1963 年出版572 页ISBN:
Automated Deduction in Geometry 4th International Workshop
ADG 20022004 年出版234 页ISBN:3540209271
Automated Deduction in Geometry 6th International Workshop
ADG 20062007 年出版213 页ISBN:9783540773559
Automated Deduction in Geometry 5th International Workshop
ADG 20042006 年出版216 页ISBN:354031332X
FACTS ON FILE SCIENCE LIBRARY GEOMETRY
(美)凯瑟林·A.戈里尼著;袁钧等译2004 年出版278 页ISBN:7801457935
本书包括术语解释,各学科的大事记及各领域里的优秀人物的介绍,以术语解释为主体内容。
ENUMERATIVE INVARIANTS IN ALGEBRAIC GEOMETRY AND STRING THERY
2008 年出版201 页ISBN:9783540798132
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