Discrete mathematics

Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today.

This book constitutes the proceedings of the 24th International Conference on Computing and Combinatorics, COCOON 2018, held in Qing Dao, China, in July 2018.

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.

Boundaries and Hulls of Euclidean Graphs: From Theory to Practice presents concepts and algorithms for finding convex, concave and polygon hulls of Euclidean graphs.

Focused on the mathematical foundations of social media analysis, Graph-Based Social Media Analysis provides a comprehensive introduction to the use of graph analysis in the study of social and digital media.

The Language of Symmetry is a re-assessment of the structure and reach of symmetry, by an interdisciplinary group of specialists from the arts, humanities, and sciences at Oxford University.

This proceedings presents the result of the 8th International Conference in Network Analysis, held at the Higher School of Economics, Moscow, in May 2018.

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics.

This work inaugurates a new and general solution method for arbitrary continuous nonlinear PDEs.

Discrete mathematics is the branch of mathematics dealing with objects that can assume only distinct, separated values.

Knowledge Discovery and Measures of Interest is a reference book for knowledge discovery researchers, practitioners, and students.

This book constitutes the proceedings of the 30th International Symposium on Graph Drawing and Network Visualization, GD 2022, held in Tokyo, Japan, during September 13-16, 2022.

Fixed Point Theory and Graph Theory provides an intersection between the theories of fixed point theorems that give the conditions under which maps (single or multivalued) have solutions and graph theory which uses mathematical structures to illustrate the relationship between ordered pairs of objects in terms of their vertices and directed edges.

This book contains 33 papers from among the 41 papers presented at the Eighth International Conference on Fibonacci Numbers and Their Applications which was held at the Rochester Institute of Technology, Rochester, New York, from June 22 to June 26, 1998.

Non-Linear Differential Equations and Dynamical Systems is the second book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set.

Aspects of Integration: Novel Approaches to the Riemann and Lebesgue Integrals is comprised of two parts.

Is it possible to apply a network model to composites with conical inclusions?

This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023.

The world is continuous, but the mind is discrete.

Lateral Solutions to Mathematical Problems offers a fresh approach to mathematical problem solving via lateral thinking.

This book constitutes the refereed proceedings of the 8th International Conference on Combinatorial Optimization and Applications, COCOA 2014, held on the island of Maui, Hawaii, USA, in December 2014.

Combining theoretical and practical aspects of topology, this book provides a comprehensive and self-contained introduction to topological methods for the analysis and visualization of scientific data.

Codes, Curves, and Signals: Common Threads in Communications is a collection of seventeen contributions from leading researchers in communications.

Almosttwodecadeshavepassedsincetheappearanceofthosegrapht- ory texts that still set the agenda for most introductory courses taught today.

What is a number?

The tool for visualization is Microsoft Visual C++.

The CRYPTO '94 conference is sponsored by the International Association for Cryptologic Research (IACR), in co-operation with the IEEE Computer Society Technical Committee on Security and Privacy.

An engaging introduction to ergodic theory for graduate students, and a useful reference for the professional mathematician.

Modern cryptography has evolved dramatically since the 1970s.

This book constitutes the thoroughly refereed proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery, DGCI 2014, held in Siena, Italy, September 2014.

Automated Theorem Proving: A Logical Basis

This book includes 58 selected articles that highlight the major contributions of Professor Radha Charan Gupta-a doyen of history of mathematics-written on a variety of important topics pertaining to mathematics and astronomy in India.

This two-volume set LNCS 11101 and 11102 constitutes the refereed proceedings of the 15th International Conference on Parallel Problem Solving from Nature, PPSN 2018, held in Coimbra, Portugal, in September 2018.

Providing an introduction to current research topics in functional analysis and its applications to quantum physics, this book presents three lectures surveying recent progress and open problems.

Combinatorial (or discrete) optimization is one of the most active fields in the interface of operations research, computer science, and applied math- ematics.

Updated to reflect current research and extended to cover more advanced topics as well as the basics, Algebraic Number Theory and Fermat's Last Theorem, Fifth Edition introduces fundamental ideas of algebraic numbers and explores one of the most intriguing stories in the history of mathematics-the quest for a proof of Fermat's Last Theorem.

This is the most comprehensive survey of the mathematical life of the legendary Paul Erdos (1913-1996), one of the most versatile and prolific mathematicians of our time.

This is the most readable and thorough graduate textbook and reference for combinatorics, covering enumeration, graphs, sets, and methods.

Geometry of Derivation with Applications is the fifth work in a longstanding series of books on combinatorial geometry (Subplane Covered Nets, Foundations of Translation Planes, Handbook of Finite Translation Planes, and Combinatorics of Spreads and Parallelisms).

This book is intended as a teacher's manual and as an independent-study handbook for students and mathematical competitors.

From Gauss to G|del, mathematicians have sought an efficientalgorithm to distinguish prime numbers from compositenumbers.

This monograph presents a unified exposition of latin squares and mutually orthogonal sets of latin squares based on groups.

Intended for first- or second-year undergraduates, this introduction to discrete mathematics covers the usual topics of such a course, but applies constructivist principles that promote - indeed, require - active participation by the student.

This second edition of "e;Polynomial representations of GL (K)"e; consists of n two parts.

This book constitutes the refereed proceedings of the 22nd  International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023, held in Ekaterinburg, Russia, during July 2-8, 2023.

This book introduces oriented version of metrics and cuts and their multidimensional analogues, as well as partial metrics and weighted metrics.

This book is designed to meet the requirement of undergraduate and postgraduate students pursuing computer science, information technology, mathematical science, and physical science course.