Mathematical theory of computation

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.

The basics of the theory of elliptic curves should be known to everybody, be he (or she) a mathematician or a computer scientist.

This book, fully updated for Python version 3.

This book reviews evidence for the existence of information storing states present in specific materials systems called Topological Materials.

This book constitutes the proceedings of the 5th International Conference on Geometric Science of Information, GSI 2021, held in Paris, France, in July 2021.

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions.

The book introduces new techniques which imply rigorous lower bounds on the complexity of some number theoretic and cryptographic problems.

"e;Classical and Quantum computing"e; provides a self-contained, systematic and comprehensive introduction to all the subjects and techniques important in scientific computing.

These notes had their origin in a postgraduate lecture series I gave at the Eid- genossiche Technische Hochschule (ETH) in Zurich in the Spring of 2000.

The theory of Laplace transformation is an important part of the mathematical background required for engineers, physicists and mathematicians.

"e;A Crash Course in Mathematica"e; is a compact introduction to the program Mathematica, which is widely used in mathematics, as well as in the natural and engineering sciences.

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study.

The Bialowieza workshops on Geometric Methods in Physics, taking place in the unique environment of the Bialowieza natural forest in Poland, are among the important meetings in the field.

This is a collection of papers by participants at High Dimensional Probability VI Meeting held from October 9-14, 2011 at the Banff International Research Station in Banff, Alberta, Canada.

The Bialowieza workshops on Geometric Methods in Physics are among the most important meetings in the field.

Increasing size and complexity of software and hardware systems makes it harder to ensure their reliability.

The complexity of Information Technology (IT) systems has been steadily incre- ing in the past decades.

This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.

This book constitutes the refereed proceedings of the 29th International Symposium on String Processing and Information Retrieval, SPIRE 2022, held in Concepcion, Chile, in November 2022.

This book constitutes the proceedings of the 13th International Conference on Swarm Intelligence, ANTS 2022, held in Malaga, Spain, in November 2022.

This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022.

This book constitutes the proceedings of the Second IAPR International Conference on Discrete Geometry and Mathematical Morphology, DGMM 2022, which was held during October 24-27, 2022, in Strasbourg, France.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.

This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27-29, 2022.

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held  virtually in December 2022.

This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held  in hybrid mode in Valencia, Spain, in November 2022.

This book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022.

This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.

This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms for Governance of Multi-Agent Systems, COINE 2022, which was held in Auckland, New Zealand, on May 9, 2022.

This book constitutes the proceedings of the 15th Latin American Symposium on Theoretical Informatics, LATIN 2022, which took place in Guanajuato, Mexico, in November 2022.

This book constitutes the proceedings of the 21st International Semantic Web Conference, ISWC 2022, which took place in October 2022 in a virtual mode.

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.

This book constitutes thoroughly refereed and revised selected papers from the 7th International Symposium on Combinatorial Optimization, ISCO 2022, which was held online during May 18-20, 2022.

This book constitutes revised selected papers from the thoroughly refereed workshop proceedings of the 20th International Workshop on Approximation and Online Algorithms, WAOA 2022, which was colocated with ALGO 2022 and took place in Potsdam, Germany, in September 2022.

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.

This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022.

This book constitutes the refereed proceedings of the 11th International Conference on Open Semantic Technologies for Intelligent Systems, OSTIS 2021, held in Minsk, Belarus, during September 16-18, 2021.

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022.

This book constitutes the refereed proceedings of the 45th German Conference on Artificial Intelligence, KI 2022, held in September 2022.

This book constitutes the proceedings of the 15th International Symposium on Algorithmic Game Theory, SAGT 2022, which took place in Colchester, UK, in September 2022.

This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.

This book constitutes refereed proceedings of the 2nd International Conference on Computer and Communication Engineering, CCCE 2022, held in Rome, Italy, March 11-13, 2022.

This book constitutes the refereed proceedings of the 22nd International TRIZ Future Conference on Automated Invention for Smart Industries, TFC 2022, which took place in Warsaw, Poland, in September 2022; the event was sponsored by IFIP WG 5.