KNOTS AND SURFACES A GUIDE TO DISCOVERING MATHEMATICS
2222 年出版101 页ISBN：0821804510
IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN：0134518322
FINITE MATHEMATICS AND CALCULUS WITH APPLICATIONS THIRD EDITION
1989 年出版1098 页ISBN：0673382559
IAS/PARK CITY MATHEMATICS SERIES Low Dimensional Topology
2009 年出版316 页ISBN：9780821847664
FUNDAMENTALS OF TECHNICAL MATHEMATICS WITH CALCULUS SECOND EDITION
1989 年出版1000 页ISBN：0070355673
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
A SURVEY OF MATHEMATICS WITH APPLICATIONS FIFTH EDITOIN
1997 年出版780 页ISBN：9780201846003
ESSENTIAL MATHEMATICS AND STATISTICS FOR SCIENCE SECOND EDITION
2009 年出版387 页ISBN：9780470694497
INTRODUCTION TO MATHEMATICS-APPLIED ACADEMICS FOURTH EDITION
1988 年出版738 页ISBN：0201518996
