Arithmetik, Algebra (542 Artikel)

Since these problems can be large and difficult to handle, much can be gained by understanding and taking advantage of special structures. This in turn requires a good grasp of basic numerical line...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revise...

Birational Geometry and Moduli Spaces

IMNS 2018

Occasioned by the international conference "Rings and Factorizations" held in February 2018 at University of Graz, Austria, this volume represents a wide range of research trends in the theory of c...

23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proof...

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proof...

This textbook introduces exciting new developments and cutting-edge results on the theme of hyperbolicity. Written by leading experts in their respective fields, the chapters stem from mini-courses...

Beginning with an exploration of intuitive notions of symmetry, the author introduces the algebraic structure of groups by examining rotations and reflections. Topics that follow include the classi...

A Firm Foundation of Mathematics

A Firm Foundation of Mathematics

The book is addressed to researchers in noncommutative algebra and algebraic geometry as well as to graduate students and advanced undergraduate students.

Separation in Point-Free Topology

This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is the heart and soul of this book: each problem is carefully chosen to demonstrate, elucidate, or e...