Filter
Datavetenskap
Filter
With one exception, these papers are original and fully refereed research articles on various applications of Category Theory to Algebraic Topology, Logic and Computer Science. …
The subject of this book stands at the crossroads of ergodic theory and measurable dynamics. With an emphasis on irreversible systems, the text presents a framework of …
From Gauss to G|del, mathematicians have sought an efficient algorithm to distinguish prime numbers from composite numbers. This book presents a random polynomial time …
This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology. Although these objects mirror the …
This book starts with an overview of the research of Gröbner bases which have many applications in various areas of mathematics since they are a general tool for the investigation …
These lecture notes by very authoritative scientists survey recent advances of mathematics driven by industrial application showing not only how mathematics is applied to industry …