KNOTS AND SURFACES A GUIDE TO DISCOVERING MATHEMATICS
2222 年出版101 页ISBN：0821804510
IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN：0134518322
IAS/PARK CITY MATHEMATICS SERIES Low Dimensional Topology
2009 年出版316 页ISBN：9780821847664
Mathematics Mechanization: Mechanical Geometry Theorem-Proving
Mechanical Geometry Problem-Solving and Polynomial Equations-Solving2000 年出版420 页ISBN：7030066863
FINITE MATHEMATICS FOR THE MANAGEMENT AND SOCIAL SCIENCES
1997 年出版535 页ISBN：0536013543
BASIC MATHEMATICS:WHAT ENERY COLLEGE STUDENT SHOULD KNOW
1977 年出版519 页ISBN：0130634468
A SURVEY OF MATHEMATICS WITH APPLICATIONS FIFTH EDITOIN
1997 年出版780 页ISBN：9780201846003
LECTURE NOTES IN MATHEMATICS 1298: ALGEBRAIC TOPOLOGY BARCELONA 1986
1987 年出版262 页ISBN：3540187294;0387187294
LECTURE NOTES IN MATHEMATICS 1438: LES ONDELETTES EN 1989
1990 年出版218 页ISBN：3540529322;0387529322
LECTURE NOTES IN MATHEMATICS 1474: ALGEBRAIC TOPOLOGY POZNAN 1989
1991 年出版397 页ISBN：3540540989;0387540989
