Stephen Cook & Phuong Nguyen 
Logical Foundations of Proof Complexity [PDF ebook] 

This book aims to develop models and modeling techniques that are useful when applied to all complex systems. It adopts both analytic tools and computer simulation. The book is intended for students …

This book presents to the reader a modern axiomatic construction of three-dimensional Euclidean geometry in a rigorous and accessible form. It is helpful for high school teachers who are interested …

This volume contains information offered at the international conference held in Curacao, Netherlands Antilles. It presents the latest developments in the most active areas of abelian groups, …

This is a developing area of modern probability theory, which has applications in many areas. This volume is devoted to the systematic study of results on large deviations in situations where …

Initially conceived as a methodology for the representation and manipulation of imprecise and vague information, fuzzy computation has found wide use in problems that fall well beyond its originally …

This book presents a unified algebraic approach to stabilization problems of linear boundary control systems with no assumption on finite-dimensional approximations to the original systems, such as t …

This book is a compilation of the papers presented at the conference in Winnipeg on the subject of finite geometry in 1984. It covers different fields in finite geometry: classical finite geometry, …

How many colors are needed to color a map? Must hailstones numbers always fall to the ground? Can statistics prove anything? What is a perfect square, and who has found the ultimate one? How do …

The effectiveness of dual integral equations for handling mixed boundary value problems has established them as an important tool for applied mathematicians. Their many applications in mathematical …

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. …