Skip to main content

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.

  • 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
  • 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
  • Logic Colloquium '78, Proceedings of the colloquium held in Mons

    • 1st Edition
    • Volume 97
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 27
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 31
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 33
    • Lev D. Beklemishev
    • English
  • The Collected Papers of Gerhard Gentzen

    • 1st Edition
    • Volume 55
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 32
    • 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
  • 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.
  • 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
  • Axiomatic Set Theory

    • 1st Edition
    • Volume 21
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 5
    • Lev D. Beklemishev
    • English
  • LOGIC COLLOQUIUM '69

    • 1st Edition
    • Volume 61
    • Lev D. Beklemishev
    • English
  • Contributions to Mathematical Logic

    • 1st Edition
    • Volume 50
    • Lev D. Beklemishev
    • English
  • Generalized Recursion Theory II

    • 1st Edition
    • Volume 94
    • Lev D. Beklemishev
    • English
  • The Problem of Inductive Logic

    • 1st Edition
    • Volume 51
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 11
    • Lev D. Beklemishev
    • English
  • Logic, Methodology and Philosophy of Science III

    • 1st Edition
    • Volume 52
    • Lev D. Beklemishev
    • English
  • Combinatorial Set Theory

    • 1st Edition
    • Volume 91
    • 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 14
    • Lev D. Beklemishev
    • English
  • Continuation of the Notas de Matemàtica

    • 1st Edition
    • Volume 177
    • 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
  • Mathematical and Conceptual Foundations of 20th-Century Physics

    • 1st Edition
    • Volume 100
    • G.G. Emch
    • English
    This book is primarily intended for Mathematicians, but students in the physical sciences will find here information not usually available in physics texts.The main aim of this book is to provide a unified mathematical account of the conceptual foundations of 20th-Century Physics, in a form suitable for a one-year survey course in Mathematics or Mathematical Physics. Emphasis is laid on the interlocked historical development of mathematical and physical ideas.
  • Foundational Studies

    • 1st Edition
    • Volume 93B
    • Lev D. Beklemishev
    • English
  • Formal Systems and Recursive Functions

    • 1st Edition
    • Volume 40
    • Lev D. Beklemishev
    • English
  • Large Infinitary Languages

    • 1st Edition
    • Volume 83
    • Lev D. Beklemishev
    • English
  • Non-Classical Logics, Model Theory, And Computability

    • 1st Edition
    • Volume 89
    • 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.
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 16
    • 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.
  • Aspects of Inductive Logic

    • 1st Edition
    • Volume 43
    • Lev D. Beklemishev
    • English
  • The Metamathematics of Algebraic Systems

    • 1st Edition
    • Volume 66
    • 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.
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 22
    • Lev D. Beklemishev
    • English
  • Computational Techniques for Differential Equations

    • 1st Edition
    • Volume 83
    • J. Noye
    • English
  • Sentences Undecidable in Formalized Arithmetic

    • 1st Edition
    • Volume 10
    • 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.
  • 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.
  • Problems in the Philosophy of Science

    • 1st Edition
    • Volume 49
    • Lev D. Beklemishev
    • English
  • Languages with Expressions of Infinite Length

    • 1st Edition
    • Volume 36
    • Lev D. Beklemishev
    • English
  • The Axiom of Choice

    • 1st Edition
    • Volume 75
    • Lev D. Beklemishev
    • English
  • Augmented Lagrangian Methods

    Applications to the Numerical Solution of Boundary-Value Problems
    • 1st Edition
    • Volume 15
    • M. Fortin + 1 more
    • English
    The purpose of this volume is to present the principles of the Augmented Lagrangian Method, together with numerous applications of this method to the numerical solution of boundary-value problems for partial differential equations or inequalities arising in Mathematical Physics, in the Mechanics of Continuous Media and in the Engineering Sciences.
  • A Deductive Theory of Space and Time

    • 1st Edition
    • Volume 45
    • 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
  • Logic in Algebraic Form

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