Metric Algebraic Geometry

Metric algebraic geometry combines concepts from algebraic geometry and differential geometry. Building on classical foundations, it offers practical tools for the 21st century. Many applied problems center around metric questions, such as optimization with respect to distances. After a short dive into 19th-century geometry of plane curves, we turn to problems expressed by polynomial equatio…

Quaternion Algebras

This open access textbook presents a comprehensive treatment of the arithmetic theory of quaternion algebras and orders, a subject with applications in diverse areas of mathematics. Written to be accessible and approachable to the graduate student reader, this text collects and synthesizes results from across the literature. Numerous pathways offer explorations in many different directions, whi…

Simplicial and Dendroidal Homotopy Theory

This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces. These are essential for the study of categories, operads, and algebraic structure up to coherent homotopy. The dendroidal theory combines the combinatorics of trees with the theory of Quillen model categories. Dendroidal sets are a natural generalization of simplic…

Branes and DAHA Representations

In recent years, there has been an increased interest in exploring the connections between various disciplines of mathematics and theoretical physics such as representation theory, algebraic geometry, quantum field theory, and string theory. One of the challenges of modern mathematical physics is to understand rigorously the idea of quantization. The program of quantization by branes, which com…

Notes on algebraic potentials

Edition

-

ISBN/ISSN

-

Collation

8 p,Cover title

Series Title

-

Call Number

-

Flexibility Principles in Boolean Semantics: The Interpretation of Coordinati…

An investigation of the logical flexibility principles needed for a formal semantic account of coordination, plurality, and scope in natural language.Since the early work of Montague, Boolean semantics and its subfield of generalized quantifier theory have become the model-theoretic foundation for the study of meaning in natural languages. This book uses this framework to develop a new semantic…

Communication Complexity: A New Approach to Circuit Depth

Communication Complexity describes a new intuitive model for studying circuit networks that captures the essence of circuit depth. Although the complexity of boolean functions has been studied for almost 4 decades, the main problems the inability to show a separation of any two classes, or to obtain nontrivial lower bounds remain unsolved. The communication complexity approach provides clues as…

What is the Genus?

Exploring several of the evolutionary branches of the mathematical notion of genus, this book traces the idea from its prehistory in problems of integration, through algebraic curves and their associated Riemann surfaces, into algebraic surfaces, and finally into higher dimensions. Its importance in analysis, algebraic geometry, number theory and topology is emphasized through many theorems. Al…

Algebraic semantics of imperative programs

Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the s…

WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, …

This book constitutes the thoroughly refereed conference proceedings of the 9th International Workshop on Algorithms and Computation, WALCOM 2015, held in Dhaka, Bangladesh, in February 2015. The 26 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on approximation algorithms, data s…