Skip to main content
Elsevier

Books in Mathematics

The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

  • Constructive Order Types

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

  • Recent Topics in Nonlinear PDE

    • 1st Edition
    • Volume 98
    • M. Mimura + 1 more
    • English
    This volume contains papers covering the theory of nonlinear PDEs and the related topics which have been recently developed in Japan.

  • Foundational Studies Selected Works

    • 1st Edition
    • Volume 93A
    • Lev D. Beklemishev
    • English

  • Formal Systems and Recursive Functions

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 34
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Proof Theory

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

  • Provability, Computability and Reflection

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

  • Minimal Surfaces of Codimension One

    • 1st Edition
    • Volume 91
    • U. Massari + 1 more
    • English
    This book gives a unified presentation of different mathematical tools used to solve classical problems like Plateau's problem, Bernstein's problem, Dirichlet's problem for the Minimal Surface Equation and the Capillary problem.The fundamental idea is a quite elementary geometrical definition of codimension one surfaces. The isoperimetric property of the Euclidean balls, together with the modern theory of partial differential equations are used to solve the 19th Hilbert problem. Also included is a modern mathematical treatment of capillary problems.

  • Axiomatic Set Theory

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

  • Provability, Computability and Reflection

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

  • Boundary Value Problems in Queueing System Analysis

    • 1st Edition
    • Volume 79
    • J.W. Cohen + 1 more
    • English

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 182
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Aspects of Inductive Logic

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 23
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Contributions to Non-Standard Analysis

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

  • Provability, Computability and Reflection

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 10
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Extensions of Linear-Quadratic Control, Optimization and Matrix Theory

    • 1st Edition
    • Volume 133
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Constructible Sets with Applications

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

  • The Problem of Inductive Logic

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

  • The Optimal Design of Chemical Reactors A Study in Dynamic Programming by Rutherford Aris

    • 1st Edition
    • Volume 3
    • Rutherford Aris
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Provability, Computability and Reflection

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

  • Elements of Mathematical Logic

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 22
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • SET THEORY

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

  • Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 13
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Provability, Computability and Reflection

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

  • A Deductive Theory of Space and Time

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

  • Provability, Computability and Reflection

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

  • Provability, Computability and Reflection

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

  • Sets, Models and Recursion Theory

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

  • Introduction to the Theory of Finite Automata

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

  • Functional Analysis, Holomorphy and Approximation Theory II

    • 1st Edition
    • Volume 86
    • G.I. Zapata
    • English

  • Stability of Motion by A M Liapunov

    • 1st Edition
    • Volume 30
    • A. M. Liapunov
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 20
    • Lev D. Beklemishev
    • English
    Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

  • Combinatorial Set Theory

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

  • Languages with Expressions of Infinite Length

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 18
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Provability, Computability and Reflection

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

  • Logic, Methodology and Philosophy of Science III

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

  • Logic Colloquium '78, Proceedings of the colloquium held in Mons

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

  • Elementary Induction on Abstract Structures

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 20
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Provability, Computability and Reflection

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

  • Adaptive Processes in Economic Systems by Roy E Murphy

    • 1st Edition
    • Volume 20
    • Roy E. Murphy
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • The Mathematical Theory of Knots and Braids

    • 1st Edition
    • Volume 82
    • S. Moran
    • English
    This book is an introduction to the theory of knots via the theory of braids, which attempts to be complete in a number of ways. Some knowledge of Topology is assumed. Necessary Group Theory and further necessary Topology are given in the book. The exposition is intended to enable an interested reader to learn the basics of the subject. Emphasis is placed on covering the theory in an algebraic way. The work includes quite a number of worked examples. The latter part of the book is devoted to previously unpublished material.

  • Generalized Recursion Theory II

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

  • Contributions to Mathematical Logic

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

  • Summability Through Functional Analysis

    • 1st Edition
    • Volume 85
    • A. Wilansky
    • English
    Summability is an extremely fruitful area for the application of functional analysis; this volume could be used as a source for such applications. Those parts of summability which only have ``hard'' (classical) proofs are omitted; the theorems given all have ``soft'' (functional analytic) proofs.

Related subjects