This volume contains the proceedings of the International Workshop on Tropical and Idempotent Mathematics, held at the Independent University of Moscow, Russia, from August 26-31, 2012. The main purpose of the conference was to bring together and unite researchers and specialists in various areas of tropical and idempotent mathematics and applications. This volume contains articles on algebraic foundations of tropical mathematics as well as articles on applications of tropical mathematics in various fields as diverse as economics, electroenergetic networks, chemical reactions, representation theory, and foundations of classical thermodynamics. This volume is intended for graduate students and researchers interested in tropical and idempotent mathematics or in their applications in other areas of mathematics and in technical sciences.

This volume is a collection of papers from the International Conference on Tropical and Idempotent Mathematics, held in Moscow, Russia in August 2007. This is a relatively new branch of mathematical sciences that has been rapidly developing and gaining popularity over the last decade. Tropical mathematics can be viewed as a result of the Maslov dequantization applied to 'traditional' mathematics over fields. Importantly, applications in econophysics and statistical mechanics lead to an explanation of the nature of financial crises. Another original application provides an analysis of instabilities in electrical power networks. Idempotent analysis, tropical algebra, and tropical geometry are the building blocks of the subject. Contributions to idempotent analysis are focused on the Hamilton-Jacobi semigroup, the max-plus finite element method, and on the representations of eigenfunctions of idempotent linear operators. Tropical algebras, consisting of plurisubharmonic functions and their germs, are examined. The volume also contains important surveys and research papers on tropical linear algebra and tropical convex geometry.

Tropical geometry is a combinatorial shadow of algebraic geometry, offering new polyhedral tools to compute invariants of algebraic varieties. It is based on tropical algebra, where the sum of two numbers is their minimum and the product is their sum. This turns polynomials into piecewise-linear functions, and their zero sets into polyhedral complexes. These tropical varieties retain a surprising amount of information about their classical counterparts. Tropical geometry is a young subject that has undergone a rapid development since the beginning of the 21st century. While establishing itself as an area in its own right, deep connections have been made to many branches of pure and applied mathematics. This book offers a self-contained introduction to tropical geometry, suitable as a course text for beginning graduate students. Proofs are provided for the main results, such as the Fundamental Theorem and the Structure Theorem. Numerous examples and explicit computations illustrate the main concepts. Each of the six chapters concludes with problems that will help the readers to practice their tropical skills, and to gain access to the research literature. This wonderful book will appeal to students and researchers of all stripes: it begins at an undergraduate level and ends with deep connections to toric varieties, compactifications, and degenerations. In between, the authors provide the first complete proofs in book form of many fundamental results in the subject. The pages are sprinkled with illuminating examples, applications, and exercises, and the writing is lucid and meticulous throughout. It is that rare kind of book which will be used equally as an introductory text by students and as a reference for experts. —Matt Baker, Georgia Institute of Technology Tropical geometry is an exciting new field, which requires tools from various parts of mathematics and has connections with many areas. A short definition is given by Maclagan and Sturmfels: “Tropical geometry is a marriage between algebraic and polyhedral geometry”. This wonderful book is a pleasant and rewarding journey through different landscapes, inviting the readers from a day at a beach to the hills of modern algebraic geometry. The authors present building blocks, examples and exercises as well as recent results in tropical geometry, with ingredients from algebra, combinatorics, symbolic computation, polyhedral geometry and algebraic geometry. The volume will appeal both to beginning graduate students willing to enter the field and to researchers, including experts. —Alicia Dickenstein, University of Buenos Aires, Argentina

Idempotent mathematics is a rapidly developing new branch of the mathematical sciences that is closely related to mathematical physics. The existing literature on the subject is vast and includes numerous books and journal papers. A workshop was organized at the Erwin Schrodinger Institute for Mathematical Physics (Vienna) to give a snapshot of modern idempotent mathematics. This volume contains articles stemming from that event. Also included is an introductory paper by G. Litvinov and additional invited contributions. The resulting volume presents a comprehensive overview of the state of the art. It is suitable for graduate students and researchers interested in idempotent mathematics and tropical mathematics.

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.

This authoritative volume in honor of Alain Connes, the foremost architect of Noncommutative Geometry, presents the state-of-the art in the subject. The book features an amalgam of invited survey and research papers that will no doubt be accessed, read, and referred to, for several decades to come. The pertinence and potency of new concepts and methods are concretely illustrated in each contribution. Much of the content is a direct outgrowth of the Noncommutative Geometry conference, held March 23–April 7, 2017, in Shanghai, China. The conference covered the latest research and future areas of potential exploration surrounding topology and physics, number theory, as well as index theory and its ramifications in geometry.

This book constitutes the refereed proceedings of the 13th International Conference on Computational Methods in Systems Biology, CMSB 2015, held in Nantes, France, in September 2015. The 20 full papers and 2 short papers presented were carefully reviewed and selected from 43 full and 4 short paper submissions. The papers cover a wide range of topics in the analysis of biological systems, networks and data such as model checking, stochastic analysis, hybrid systems, circadian clock, time series data, logic programming, and constraints solving ranging from intercellular to multiscale.

These notes present a polished introduction to tropical geometry and contain some applications of this rapidly developing and attractive subject. It consists of three chapters which complete each other and give a possibility for non-specialists to make the first steps in the subject which is not yet well represented in the literature. The notes are based on a seminar at the Mathematical Research Center in Oberwolfach in October 2004. The intended audience is graduate, post-graduate, and Ph.D. students as well as established researchers in mathematics.

This book includes a selection of refereed papers presented at the "Annual International Conference of the German Operations Research Society (OR2016)," which took place at the Helmut-Schmidt-Universität / Universität der Bundeswehr Hamburg, Germany, Aug. 30 - Sept. 2, 2016. Over 700 practitioners and academics from mathematics, computer science, business/economics, and related fields attended the conference. The scientific program included around 475 presentations on the theme Analytical Decision Making, focusing on the process of researching complex decision problems and devising effective solution methods towards better decisions. The book presents papers discussing classical mathematical optimization, statistics and simulation techniques. Such approaches are complemented by computer science methods and tools for the processing of data and the design and implementation of information systems. The book also examines recent advances in information technology, which allow big data volumes to be treated and enable real-time predictive and prescriptive business analytics to drive decisions and actions. Further, it includes problems modeled and treated under consideration of uncertainty, risk management, behavioral issues, and strategic decision situations.