Discrete mathematics

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.

This book constitutes the refereed proceedings of the 19th International Workshop on Modelling and Mining Networks, WAW 2024, held in Warsaw, Poland, during June 3-6, 2024.

This book constitutes the proceedings of the 18th Annual Conference on Theory and Applications of Models of Computation, TAMC 2024, which was held in Hong Kong, China, during May 13-15, 2024.

This book constitutes the refereed proceedings of the 19th International Workshop on Modelling and Mining Networks, WAW 2024, held in Warsaw, Poland, during June 3-6, 2024.

This two volume set volume LNCS 14422-14423 constitutes the refereed proceedings of the 29th International Conference, COCOON 2023, held in Hawaii, HI, USA, during December 2023.

This book first introduces classic as well as recent computational models for just-noticeable-difference (JND) applications.

This book provides essential information on Petri net theory and Petri net-based model checking methods.

This book provides essential information on Petri net theory and Petri net-based model checking methods.

This book features selected papers from the 5th International Conference on Mathematics and Computing (ICMC 2019), organized by the School of Computer Engineering, Kalinga Institute of Industrial Technology Bhubaneswar, India, on February 6 - 9, 2019.

This book presents the fundamental and technical concepts of fuzzy hypergraphs and explains their extensions and applications.

This book highlights the contributions of the eminent mathematician and leading algebraist David F.

This book constitutes the refereed proceedings of the First CCF International Conference on Artificial Intelligence, CCF-ICAI 2018, held in Jinan, China in August, 2018.

This volume contains the proceedings of the 22nd International Conference on Difference Equations and Applications, held at Osaka Prefecture University, Osaka, Japan, in July 2016.

This proceedings book gathers selected, peer-reviewed papers presented at the Fifth Scientific Days of the Doctoral School of Mathematics and Computer Sciences - S2DSMCS, held from December 20-22, 2023, at Cheikh Anta Diop University in Dakar, Senegal.

This introductory textbook covers all the mathematical concepts necessary for a computing degree, limiting coverage only to the material needed for the fundamentals of computing rather than delving into the higher mathematical concepts.

This introductory textbook covers all the mathematical concepts necessary for a computing degree, limiting coverage only to the material needed for the fundamentals of computing rather than delving into the higher mathematical concepts.

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during  June 11-12, 2025.

This book introduces a new geometric vision of continued fractions.

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during  June 11-12, 2025.

This book is a collection of thoroughly refereed papers presented at the 26th IFIP TC 7 Conference on System Modeling and Optimization, held in Klagenfurt, Austria, in September 2013.

I.

Systems of polynomial equations arise throughout mathematics, science, and engineering.

Spherical buildings are certain combinatorial simplicial complexes intro- duced, at first in the language of "e;incidence geometries,"e; to provide a sys- tematic geometric interpretation of the exceptional complex Lie groups.

In recent years, new algorithms for dealing with rings of differential operators have been discovered and implemented.

In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited lecturers.

From the reviews of the German edition:"e;Combinatorial optimization, along with graph algorithms and complexity theory is booming.

This book is intended as a text for a course on cryptography with emphasis on algebraic methods.

Cryptography, secret writing, is probably as old as writing itself.

This text is an attempt to outline the basic facts concerning Kekul structures in benzenoid hydrocarbons: their history, applica- tions and especially enumeration.

The first edition of this book was conceived in 1981 as an alternative to outdated, oversized, or overly specialized textbooks in this area of discrete mathematics-a field that is still growing in importance as the need for mathematicians and computer scientists in industry continues to grow.

Historically, there is a close connection between geometry and optImization.

Die zunehmenden Fähigkeiten von Rechnersystemen ermöglichen den Einsatz komplexer mathematischer Methoden für Anwendungen aus dem Bereich der Graphischen Datenverarbeitung und des Computer Aided Design (CAD).

Food webs hold a central place in ecology.

Since the publication of the first edition of our book, geometric algorithms and combinatorial optimization have kept growing at the same fast pace as before.

Relational methods can be found at various places incomputer science, notably in data base theory, relationalsemantics of concurrency, relationaltype theory, analysisof rewriting systems, and modern programming languagedesign.

The mathematical theory of computation has given rise to two important ap- proaches to the informal notion of "e;complexity"e;: Kolmogorov complexity, usu- ally a complexity measure for a single object such as a string, a sequence etc.

Since its very existence as a separate field within computerscience, computer graphics had to make extensive use ofnon-trivial mathematics, for example, projective geometry,solid modelling, and approximation theory.

There have been significant developments in the theory and practice of combinatorial optimization in the last 15 years.

With the rapid growth of integration scale of VLSI chips and the present need for reliable computers in space exploration, fault diagnosis and fault toleran- ce have become more important than before, and hence reveal a lot of interest- ing topics which attract many researchers to make a great number of contribu- tions to this field.

This book is written to introduce a new approach to stereochemical problems and to combinatorial enumerations in chemistry.

Lnear prediction theory and the related algorithms have matured to the point where they now form an integral part of many real-world adaptive systems.

Ever since the discovery of the five platonic solids in ancient times, the study of symmetry and regularity has been one of the most fascinating aspects of mathematics.

The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged.

One of the important areas of contemporary combinatorics is Ramsey theory.