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.

  • Constructible Sets with Applications

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

  • Provability, Computability and Reflection

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

  • Families of Curves and the Origins of Partial Differentiation

    • 1st Edition
    • Volume 93
    • S.B. Engelsman
    • English
    This book provides a detailed description of the main episodes in the emergence of partial differentiation during the period 1690-1740. It argues that the development of this concept - to a considerable degree of perfection - took place almost exclusively in problems concerning families of curves. Thus, the book shows the origins of the ideas and techniques which paved the way for the sudden introduction of partial differential equations in 1750. The main methodological characteristic of the book is its emphasis on a full understanding of the motives, problems and goals of the mathematicians of that time.

  • Introduction to Holomorphy

    • 1st Edition
    • Volume 106
    • J.A. Barroso
    • English
    This book presents a set of basic properties of holomorphic mappings between complex normed spaces and between complex locally convex spaces. These properties have already achieved an almost definitive form and should be known to all those interested in the study of infinite dimensional Holomorphy and its applications.The author also makes ``incursions'' into the study of the topological properties of the spaces of holomorphic mappings between spaces of infinite dimension. An attempt is then made to show some of the several topologies that can naturally be considered in these spaces.Infinite dimensional Holomorphy appears as a theory rich in fascinating problems and rich in applications to other branches of Mathematics and Mathematical Physics.

  • 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.

  • Differential Equations

    • 1st Edition
    • Volume 92
    • I.W. Knowles + 1 more
    • English
    This volume forms a record of the lectures given at this International Conference. Under the general heading of the equations of mathematical physics, contributions are included on a broad range of topics in the theory and applications of ordinary and partial differential equations, including both linear and non-linear equations. The topics cover a wide variety of methods (spectral, theoretical, variational, topological, semi-group), and a equally wide variety of equations including the Laplace equation, Navier-Stokes equations, Boltzmann's equation, reaction-diffusion equations, Schroedinger equations and certain non-linear wave equations. A number of papers are devoted to multi-particle scattering theory, and to inverse theory. In addition, many of the plenary lectures contain a significant amount of survey material on a wide variety of these topics.

  • Boundary Value Problems in Queueing System Analysis

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

  • Algebra of Proofs

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

  • Functional Analysis: Surveys and Recent Results III

    • 1st Edition
    • Volume 90
    • K.-D. Bierstedt + 1 more
    • English
    This volume contains 22 articles on topics of current interest in functional analysis, operator theory and related areas. Some of the papers have connections with complex function theory in one and several variables, probability theory and mathematical physics.Surveys of some areas of recent progress in functional analysis are given and related new results are presented. The topics covered in this volume supplement the discussion of modern functional analysis in the previous Proceedings volumes. Together with the previous volumes, the reader obtains a good impression of many aspects of present-day functional analysis and its applications. Parts of this volume can be used profitably in advanced seminars and courses in functional analysis.

  • Provability, Computability and Reflection

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

  • Functional Analysis, Holomorphy and Approximation Theory

    • 1st Edition
    • Volume 71
    • J.A. Barroso
    • English

  • An Algebraic Approach to Non-Classical Logics

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

  • Proceedings of the Second Scandinavian Logic Symposium

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

  • Set Theory

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

  • Concepts from Tensor Analysis and Differential Geometry by Tracy Y Thomas

    • 1st Edition
    • Volume 1
    • 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.

  • Topics in Functional Analysis over Valued Division Rings

    • 1st Edition
    • Volume 77
    • J.B. Prolla
    • English

  • Functional Analysis, Holomorphy and Approximation Theory II

    • 1st Edition
    • Volume 86
    • G.I. Zapata
    • 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

  • A Transfinite Type Theory with Type Variables

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

  • Provability, Computability and Reflection

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

  • Sets and Classes on The Work by Paul Bernays

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

  • Generalized Recursion Theory

    • 1st Edition
    • Volume 79
    • 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.

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 16
    • 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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 19
    • 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

  • Studies in Logic and the Foundations of Mathematics

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

  • Proof Theory

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

  • The Theory of Semisets

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

  • SET THEORY

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

  • Constructive Order Types

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

  • Computer Programming and Formal Systems

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

  • WORD PROBLEMS II

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

  • Provability, Computability and Reflection

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

  • Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

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

  • Intuitionistic Logic Model Theory and Forcing

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

  • Nonlinear Partial Differential Equations in Applied Science

    • 1st Edition
    • Volume 81
    • H. Fujita + 2 more
    • English

  • Sets, Models and Recursion Theory

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

  • Provability, Computability and Reflection

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

  • Non-Linear Wave Propagation With Applications to Physics and Magnetohydrodynamics by A Jeffrey and T Taniuti

    • 1st Edition
    • Volume 9
    • 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.

  • Analytic Sets in Locally Convex Spaces

    • 1st Edition
    • Volume 89
    • P. Mazet
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 29
    • 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.

  • Intuitionism An Introduction

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

  • Elements of Mathematical Logic

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

  • Contributions to Non-Standard Analysis

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 183
    • 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

  • Comparison and Oscillation Theory of Linear Differential Equations by C A Swanson

    • 1st Edition
    • Volume 48
    • 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.

  • Systems and Simulation by Dimitris N Chorafas

    • 1st Edition
    • Volume 14
    • 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 13
    • Lev D. Beklemishev
    • English

Related subjects