This book constitutes the proceedings of the 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019, held in Copenhagen, Denmark, in August 2019.
This book constitutes the proceedings of the 18th International Workshop on Combinatorial Image Analysis, IWCIA 2017, held in Plovdiv, Bulgaria, in June 2017.
This textbook treats two important and related matters in convex geometry: the quantification of symmetry of a convex set-measures of symmetry-and the degree to which convex sets that nearly minimize such measures of symmetry are themselves nearly symmetric-the phenomenon of stability.
Vector Partitions, Visible Points and Ramanujan Functions offers a novel theory of Vector Partitions, though very much grounded in the long-established work of others, that could be developed as an extension to the existing theory of Integer Partitions.
Praise for the First Edition"e;Luck, Logic, and White Lies teaches readers of all backgrounds about the insight mathematical knowledge can bring and is highly recommended reading among avid game players, both to better understand the game itself and to improve one's skills.
This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2022, held in Montreal, QC, Canada, in August 2022.
Following an initiative of the late Hans Zassenhaus in 1965, the Departments of Mathematics at The Ohio State University and Denison University organize conferences in combinatorics, group theory, and ring theory.
This three-volume set LNCS 15161, 15162 and 15163 constitutes the refereed proceedings of the 30th International Conference, COCOON 2024, held in Shanghai, China, during August 23-25, 2024.
The Handbook of Geometric Constraint Systems Principles is an entry point to the currently used principal mathematical and computational tools and techniques of the geometric constraint system (GCS).
This book constitutes the refereed conference proceedings of the 26th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2019, held in L'Aquila, Italy, in July 2019.
This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2024, which took place in Puerto Varas, Chile, in March 2024.
This textbook provides a thorough introduction to spectrahedra, which are the solution sets to linear matrix inequalities, emerging in convex and polynomial optimization, analysis, combinatorics, and algebraic geometry.
A solutions manual to accompany Finite Mathematics: Models and Applications In order to emphasize the main concepts of each chapter, Finite Mathematics: Models and Applications features plentiful pedagogical elements throughout such as special exercises, end notes, hints, select solutions, biographies of key mathematicians, boxed key principles, a glossary of important terms and topics, and an overview of use of technology.
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems.
This book A Guide to Graph Algorithms offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics.
This undergraduate textbook provides a comprehensive treatment of Euclidean and transformational geometries, supplemented by substantial discussions of topics from various non-Euclidean and less commonly taught geometries, making it ideal for both mathematics majors and pre-service teachers.
A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems.
Automata Theory is part of computability theory which covers problems in computer systems, software, activity of nervous systems (neural networks), and processes of live organisms development.
Ordinary differential equations (ODEs), differential-algebraic equations (DAEs) and partial differential equations (PDEs) are among the forms of mathematics most widely used in science and engineering.
This volume provides accessible and self-contained research problems designed for undergraduate student projects, and simultaneously promotes the development of sustainable undergraduate research programs.
The Handbook of Geometric Constraint Systems Principles is an entry point to the currently used principal mathematical and computational tools and techniques of the geometric constraint system (GCS).
This volume constitutes the proceedings of the International Conference on Algorithmic Aspects in Information and Management, AAIM 2014, held in Vancouver, BC, Canada, in July 2014.
VII Preface In many fields of mathematics, geometry has established itself as a fruitful method and common language for describing basic phenomena and problems as well as suggesting ways of solutions.
This book constitutes the refereed proceedings of the 31th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2024, held in Haifa, Israel in May 2024.
In the tradition of EuroComb'01 (Barcelona), Eurocomb'03 (Prague), EuroComb'05 (Berlin), Eurocomb'07 (Seville), Eurocomb'09 (Bordeaux), and Eurocomb'11 (Budapest), this volume covers recent advances in combinatorics and graph theory including applications in other areas of mathematics, computer science and engineering.
This book constitutes the proceedings of the 15th International Conference on Algorithmic Aspects in Information and Management, AAIM 2021, which was held online during December 20-22, 2021.
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians.
In the last years there has been significant progress in the theory of valuations, which in turn has led to important achievements in integral geometry.
Today, with physician and hospital reimbursement being cut and tied to quality incentives, physicians and health plans are revisiting the concept of integration.
