Skip to main content
Elsevier

Books in Theory and mathematics

Our portfolio includes foundational theories, algorithms, formal methods, and computational complexity. Featuring rigorous research, mathematical frameworks, and practical applications, these titles support theorists, mathematicians, and computer scientists in advancing the theoretical underpinnings of computing. Addressing emerging areas like quantum algorithms and formal verification, the collection fuels innovation and scientific discovery.

  • Probabilities and Potential, C

    Potential Theory for Discrete and Continuous Semigroups
    • 1st Edition
    • Volume 151
    • C. Dellacherie + 1 more
    • English
    This third volume of the monograph examines potential theory. The first chapter develops potential theory with respect to a single kernel (or discrete time semigroup). All the essential ideas of the theory are presented: excessive functions, reductions, sweeping, maximum principle. The second chapter begins with a study of the notion of reduction in the most general situation possible - the ``gambling house'' of Dubins and Savage. The beautiful results presented have never been made accessible to a wide public. These are then connected with the theory of sweeping with respect to a cone of continuous functions, and the integral representation in compact convex sets. The third chapter presents new or little-known results, with the aim of illustrating the effectiveness of capacitary methods in the most varied fields. The last two chapters are concerned with the theory of resolvents.The fourth and last part of the English edition will be devoted to the theory of Markov processes.

  • Handbook of Logic and Language

    • 2nd Edition
    • Johan F.A.K. van Benthem + 1 more
    • English
    The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes.

  • Combinatory Logic

    • 1st Edition
    • Volume 65
    • Lev D. Beklemishev
    • English

  • Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress

    • 1st Edition
    • Volume 44
    • Lev D. Beklemishev
    • English

  • Logic Colloquium 76, Proceedings of a conference

    • 1st Edition
    • Volume 87
    • Lev D. Beklemishev
    • English

  • Abstract analytic number theory

    • 1st Edition
    • Volume 12
    • Knopfmacher
    • English
    North-Holland Mathematical Library, Volume 12: Abstract Analytic Number Theory focuses on the approaches, methodologies, and principles of the abstract analytic number theory. The publication first deals with arithmetical semigroups, arithmetical functions, and enumeration problems. Discussions focus on special functions and additive arithmetical semigroups, enumeration and zeta functions in special cases, infinite sums and products, double series and products, integral domains and arithmetical semigroups, and categories satisfying theorems of the Krull-Schmidt type. The text then ponders on semigroups satisfying Axiom A, asymptotic enumeration and "statistical" properties of arithmetical functions, and abstract prime number theorem. Topics include asymptotic properties of prime-divisor functions, maximum and minimum orders of magnitude of certain functions, asymptotic enumeration in certain categories, distribution functions of prime-independent functions, and approximate average values of special arithmetical functions. The manuscript takes a look at arithmetical formations, additive arithmetical semigroups, and Fourier analysis of arithmetical functions, including Fourier theory of almost even functions, additive abstract prime number theorem, asymptotic average values and densities, and average values of arithmetical functions over a class. The book is a vital reference for researchers interested in the abstract analytic number theory.

  • Multiparametric Statistics

    • 1st Edition
    • Vadim Ivanovich Serdobolskii
    • English
    This monograph presents mathematical theory of statistical models described by the essentially large number of unknown parameters, comparable with sample size but can also be much larger. In this meaning, the proposed theory can be called "essentially multiparametric". It is developed on the basis of the Kolmogorov asymptotic approach in which sample size increases along with the number of unknown parameters.This theory opens a way for solution of central problems of multivariate statistics, which up until now have not been solved. Traditional statistical methods based on the idea of an infinite sampling often break down in the solution of real problems, and, dependent on data, can be inefficient, unstable and even not applicable. In this situation, practical statisticians are forced to use various heuristic methods in the hope the will find a satisfactory solution.Mathematica... theory developed in this book presents a regular technique for implementing new, more efficient versions of statistical procedures. Near exact solutions are constructed for a number of concrete multi-dimensional problems: estimation of expectation vectors, regression and discriminant analysis, and for the solution to large systems of empiric linear algebraic equations. It is remarkable that these solutions prove to be not only non-degenerating and always stable, but also near exact within a wide class of populations.In the conventional situation of small dimension and large sample size these new solutions far surpass the classical, commonly used consistent ones. It can be expected in the near future, for the most part, traditional multivariate statistical software will be replaced by the always reliable and more efficient versions of statistical procedures implemented by the technology described in this book.This monograph will be of interest to a variety of specialists working with the theory of statistical methods and its applications. Mathematicians would find new classes of urgent problems to be solved in their own regions. Specialists in applied statistics creating statistical packages will be interested in more efficient methods proposed in the book. Advantages of these methods are obvious: the user is liberated from the permanent uncertainty of possible instability and inefficiency and gets algorithms with unimprovable accuracy and guaranteed for a wide class of distributions.A large community of specialists applying statistical methods to real data will find a number of always stable highly accurate versions of algorithms that will help them to better solve their scientific or economic problems. Students and postgraduates will be interested in this book as it will help them get at the foremost frontier of modern statistical science.

  • Computational Theory of Iterative Methods

    • 1st Edition
    • Volume 15
    • Ioannis Argyros
    • English
    The book is designed for researchers, students and practitioners interested in using fast and efficient iterative methods to approximate solutions of nonlinear equations. The following four major problems are addressed. Problem 1: Show that the iterates are well defined. Problem 2: concerns the convergence of the sequences generated by a process and the question of whether the limit points are, in fact solutions of the equation. Problem 3: concerns the economy of the entire operations. Problem 4: concerns with how to best choose a method, algorithm or software program to solve a specific type of problem and its description of when a given algorithm succeeds or fails. The book contains applications in several areas of applied sciences including mathematical programming and mathematical economics. There is also a huge number of exercises complementing the theory.

  • Handbook of Quantum Logic and Quantum Structures

    Quantum Structures
    • 1st Edition
    • Kurt Engesser + 2 more
    • English
    Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled “The logic of quantum mechanics” quantum logic, i.e. the logical investigation of quantum mechanics, has undergone an enormous development. Various schools of thought and approaches have emerged and there are a variety of technical results.Quantum logic is a heterogeneous field of research ranging from investigations which may be termed logical in the traditional sense to studies focusing on structures which are on the border between algebra and logic. For the latter structures the term quantum structures is appropriate. The chapters of this Handbook, which are authored by the most eminent scholars in the field, constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic and quantum structures. Much of the material presented is of recent origin representing the frontier of the subject. The present volume focuses on quantum structures. Among the structures studied extensively in this volume are, just to name a few, Hilbert lattices, D-posets, effect algebras MV algebras, partially ordered Abelian groups and those structures underlying quantum probability.

  • Network Routing

    Algorithms, Protocols, and Architectures
    • 1st Edition
    • English
    Network routing can be broadly categorized into Internet routing, PSTN routing, and telecommunication transport network routing. This book systematically considers these routing paradigms, as well as their interoperability. The authors discuss how algorithms, protocols, analysis, and operational deployment impact these approaches. A unique feature of the book is consideration of both macro-state and micro-state in routing; that is, how routing is accomplished at the level of networks and how routers or switches are designed to enable efficient routing.In reading this book, one will learn about 1) the evolution of network routing, 2) the role of IP and E.164 addressing in routing, 3) the impact on router and switching architectures and their design, 4) deployment of network routing protocols, 5) the role of traffic engineering in routing, and 6) lessons learned from implementation and operational experience. This book explores the strengths and weaknesses that should be considered during deployment of future routing schemes as well as actual implementation of these schemes. It allows the reader to understand how different routing strategies work and are employed and the connection between them. This is accomplished in part by the authors' use of numerous real-world examples to bring the material alive.

Related subjects