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...

This text is an introduction to algebraic number theory for readers with a moderate knowledge of ...

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...

Delve into the mathematical transition from classical computation to quantum mechanics, where pro...

The central topic of this book is the spectral theory of bounded and unbounded self-adjoint opera...

This fifth volume of ''Research in Collegiate Mathematics Education'' (RCME) presents state-of-th...

This is the first truly comprehensive and thorough history of the development of mathematics in t...

This is a revised, updated, and significantly augmented edition of a classic Carus Monograph (a b...

Women Who Count: Honoring African American Women Mathematicians is a children's activity book hig...

This book treats the fundamentals of differential geometry: manifolds, flows, Lie groups and thei...

This book features plane curves—the simplest objects in differential geometry—to illustrate many ...

A thoroughly modern textbook for the sophomore-level differential equations course. The examples ...

The purpose of this book is to demonstrate that complex numbers and geometry can be blended toget...

This is the last of three volumes that, together, give an exposition of the mathematics of grades...

As the open-source and free alternative to expensive software like MapleTM, MathematicaR, and MAT...

This book introduces a new research direction in set theory: the study of models of set theory wi...

Game theory provides a mathematical setting for analyzing competition and cooperation in interact...

This volume contains the proceedings of the Building Bridges: 3rd EU US Summer School and Worksho...

This volume is based on lectures delivered at the 2019 AMS Short Course ''Sum of Squares: Theory ...

Welcome to Real Analysis is designed for use in an introductory undergraduate course in real anal...

The author studies continuous processes indexed by a special family of graphs. Processes indexed ...

Thinking Algebraically presents the insights of abstract algebra in a welcoming and accessible wa...

This book introduces advanced undergraduates to Riemannian geometry and mathematical general rela...

The origins of the harmonic analysis go back to an ingenious idea of Fourier that any reasonable ...

The Ausdehnungslehre of 1862 is Grassmann's most mature presentation of his 'extension theory'. T...

This volume contains the proceedings of the AMS Special Session on Polytopes and Discrete Geometr...

'We explore widely in the valley of ordinary representations, and we take the reader over the mou...

Discrete Differential Geometry (DDG) is an emerging discipline at the boundary between mathematic...

This book provides an introduction to hyperbolic geometry in dimension three, with motivation and...

This volume contains the proceedings of the AMS Special Session on Differential Geometry and Glob...

Mathematics for Social Justice offers a collection of resources for mathematics faculty intereste...

Mathematics for Social Justice: Focusing on Quantitative Reasoning and Statistics offers a collec...

Extrinsic geometric flows are characterized by a submanifold evolving in an ambient space with ve...

The French expression 'dessins d'enfants'' means children's drawings. This term was coined by the...

The famous equation that bears Erwin Schrodinger's name encapsulates his profound contributions t...

Are you a mathematics major or thinking about becoming one? This friendly guidebook is for you, n...

Linear Algebra and Geometry is organized around carefully sequenced problems that help students b...

This volume contains the proceedings of the conference on Manifolds, $K$-Theory, and Related Topi...