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.

  • Functional Analysis, Holomorphy and Approximation Theory

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

  • Sets and Classes on The Work by Paul Bernays

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

  • Provability, Computability and Reflection

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

  • Word Problems

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

  • Generalized Recursion Theory

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

  • Problems in the Philosophy of Science

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

  • Provability, Computability and Reflection

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

  • Provability, Computability and Reflection

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

  • Algebra of Proofs

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

  • Non-Classical Logics, Model Theory, And Computability

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

  • Model Theory For Infinitary Logic

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

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

  • Set Theory

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

  • Computational Techniques for Differential Equations

    • 1st Edition
    • Volume 83
    • J. Noye
    • English

  • Provability, Computability and Reflection

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

  • Logic Colloquium '87

    • 1st Edition
    • Volume 129
    • H.-D. Ebbinghaus + 4 more
    • English
    Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.

  • Computer Programming and Formal Systems

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

  • Recent Topics in Nonlinear PDE IV

    • 1st Edition
    • Volume 160
    • M. Mimura + 1 more
    • English
    This fourth volume concerns the theory and applications of nonlinear PDEs in mathematical physics, reaction-diffusion theory, biomathematics, and in other applied sciences. Twelve papers present recent work in analysis, computational analysis of nonlinear PDEs and their applications.

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

  • Differential Geometry and the Calculus of Variations by Robert Hermann

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

  • Provability, Computability and Reflection

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

  • Large Infinitary Languages

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

  • The Axiom of Choice

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

  • The Collected Papers of Gerhard Gentzen

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

  • 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

  • Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

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

  • Sentences Undecidable in Formalized Arithmetic

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

  • Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

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

  • The Theory of Semisets

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

  • Provability, Computability and Reflection

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

  • Analytic Sets in Locally Convex Spaces

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

  • Introduction to Global Variational Geometry

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

  • Foundational Studies

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

  • Intuitionistic Logic Model Theory and Forcing

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

  • The Metamathematics of Algebraic Systems

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

  • Computer Programming and Formal Systems

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

  • Truth, Syntax and Modality

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

  • LOGIC COLLOQUIUM '69

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

  • New Generalized Functions and Multiplication of Distributions

    • 1st Edition
    • Volume 84
    • J.F. Colombeau
    • English
    This volume presents a new mathematical theory of generalized functions, more general than Distribution Theory, giving a rigorous mathematical sense to any product of a finite number of distributions and to heuristic computations of Quantum Field Theory. Although the physical motivations are emphasized, the book is also addressed to mathematicians with no knowledge of physics. This work opens a new domain of research in both pure and applied mathematics.

  • Theory of Hierarchical, Multilevel, Systems

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

  • SET THEORY

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

  • Nonlinear Partial Differential Equations in Applied Science

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

  • Provability, Computability and Reflection

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

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 34
    • Lev D. Beklemishev
    • English
    The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or particularly weak or strong were chosen for inclusion. The book assumes a knowledge of logic and elementary set theory (von Neumann-Bemays-Godel set theory), but does include a list of definitions of set theoretical symbols and terms in the section entitled "Preliminary Definitions and Theorems".

  • Proceedings of the Second Scandinavian Logic Symposium

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

  • Logic in Algebraic Form

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

  • Topics in Functional Analysis over Valued Division Rings

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

Related subjects