The Method of Archimedes
Archimedes
Mathematical Concepts
Jürgen Jost
Treatise on conic sections
Apollonius, of Perga
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair