Automated Theorem Proving

Focuses on the fundamentals of a theory, which is an analog of affine algebraic geometry for part...

There are a number of very good books available on linear algebra. From this one might deduce tha...

Zeta and $L$-functions play a central role in number theory. They provide important information o...

This book is an elementary introduction to geometric topology and its applications to chemistry, ...

Geometric group theory refers to the study of discrete groups using tools from topology, geometry...

The work of Joseph Fels Ritt and Ellis Kolchin in differential algebra paved the way for exciting...

A guide to the qualitative theory of foliations. It features topics including: analysis on foliat...

The theory of large deviations deals with rates at which probabilities of certain events decay as...

This book presents a readable and accessible introductory course in algebraic geometry, with most...

Primarily a book on partial differential equations with two definite slants: toward inverse probl...

Reveals the hidden connections discovered over the last half-century that explain the existence o...