This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think …
This text is designed as a practical introduction to quantum chemistry. Quantum chemistry is applied to explain and predict molecular …
Designed to help people solve numerical problems on small computers, this book's main subject areas are numerical linear algebra, function …
All living organisms consist of soft matter. For this reason alone, it is important to be able to understand and …
Topological quantum computation is a computational paradigm based on topological phases of matter, which are governed by topological quantum field …
This book presents a self-consistent review of quantum computation with topological quantum codes. The book covers everything required to understand …
What is "topological" about topological quantum states? How many types of topological quantum phases are there? What is a zero-energy …
This thesis deals with topological orders from two different perspectives: from a condensed matter point of view, where topological orders …
This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, …
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable …
This publication gives a good insight in the interplay between commutative and non-commutative algebraic geometry. The theoretical and computational aspects …
Packed with contributions from international experts, Commutative Algebra: Geometric, Homological, Combinatorial, and Computational Aspects features new research results that borrow …
Bioinspired computation methods, such as evolutionary algorithms and ant colony optimization, are being applied successfully to complex engineering and combinatorial …
Several of the contributions to this volume bring forward many mutually beneficial interactions and connections between the three domains of …
This book provides a brief and accessible introduction to the theory of finite fields and to some of their many …
This textbook connects three vibrant areas at the interface between economics and computer science: algorithmic game theory, computational social choice, …
Some love it, some hate it, but The Emperor's New Mind, physicist Roger Penrose's 1989 treatise attacking the foundations of …
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer …
The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling …
This book contains detailed lecture notes on four topics at the forefront of current research in computational mathematics. Each set …