Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 13
    • Lev D. Beklemishev
    • Inglés

  • Introduction to the Theory of Finite Automata

    • 1 Edición
    • Volumen 38
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 32
    • Lev D. Beklemishev
    • Inglés

  • Minimal Surfaces of Codimension One

    • 1 Edición
    • Volumen 91
    • U. Massari + 1 más
    • Inglés
    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.

  • An Algebraic Approach to Non-Classical Logics

    • 1 Edición
    • Volumen 78
    • Lev D. Beklemishev
    • Inglés

  • Logic Colloquium '87

    • 1 Edición
    • Volumen 129
    • H.-D. Ebbinghaus + 4 más
    • Inglés
    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

    • 1 Edición
    • Volumen 11
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 3
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 17
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 31
    • Lev D. Beklemishev
    • Inglés

  • Word Problems

    • 1 Edición
    • Volumen 71
    • Lev D. Beklemishev
    • Inglés

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

    • 1 Edición
    • Volumen 48
    • Inglés
    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

    • 1 Edición
    • Volumen 25
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 29
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 16
    • Lev D. Beklemishev
    • Inglés

  • The Metamathematics of Algebraic Systems

    • 1 Edición
    • Volumen 66
    • Lev D. Beklemishev
    • Inglés

  • Constructible Sets with Applications

    • 1 Edición
    • Volumen 57
    • Lev D. Beklemishev
    • Inglés

  • The Axiom of Choice

    • 1 Edición
    • Volumen 75
    • Lev D. Beklemishev
    • Inglés

  • LOGIC COLLOQUIUM '69

    • 1 Edición
    • Volumen 61
    • Lev D. Beklemishev
    • Inglés

  • Logic Colloquium '77

    • 1 Edición
    • Volumen 96
    • Lev D. Beklemishev
    • Inglés

  • Set Theory

    • 1 Edición
    • Volumen 76
    • Lev D. Beklemishev
    • Inglés

  • Functional Analysis: Surveys and Recent Results III

    • 1 Edición
    • Volumen 90
    • K.-D. Bierstedt + 1 más
    • Inglés
    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.

  • Generalized Recursion Theory

    • 1 Edición
    • Volumen 79
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 22
    • Lev D. Beklemishev
    • Inglés

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

    • 1 Edición
    • Volumen 60
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 15
    • Lev D. Beklemishev
    • Inglés

  • Foundational Studies

    • 1 Edición
    • Volumen 93B
    • Lev D. Beklemishev
    • Inglés

  • Families of Curves and the Origins of Partial Differentiation

    • 1 Edición
    • Volumen 93
    • S.B. Engelsman
    • Inglés
    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 Global Variational Geometry

    • 1 Edición
    • Volumen 19
    • Demeter Krupka
    • Inglés
    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

    • 1 Edición
    • Volumen 4
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 7
    • Lev D. Beklemishev
    • Inglés

  • Adaptive Processes in Economic Systems by Roy E Murphy

    • 1 Edición
    • Volumen 20
    • Roy E. Murphy
    • Inglés
    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

    • 1 Edición
    • Volumen 54
    • Lev D. Beklemishev
    • Inglés

  • A Transfinite Type Theory with Type Variables

    • 1 Edición
    • Volumen 37
    • Lev D. Beklemishev
    • Inglés

  • Problems in the Philosophy of Science

    • 1 Edición
    • Volumen 49
    • Lev D. Beklemishev
    • Inglés

  • Mathematical and Conceptual Foundations of 20th-Century Physics

    • 1 Edición
    • Volumen 100
    • G.G. Emch
    • Inglés
    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.

  • Discrete Optimization I

    • 1 Edición
    • Volumen 4
    • Inglés

  • Elementary Induction on Abstract Structures

    • 1 Edición
    • Volumen 77
    • Lev D. Beklemishev
    • Inglés

  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 16
    • Demeter Krupka
    • Inglés
    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

  • New Generalized Functions and Multiplication of Distributions

    • 1 Edición
    • Volumen 84
    • J.F. Colombeau
    • Inglés
    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.

  • Computational Techniques for Differential Equations

    • 1 Edición
    • Volumen 83
    • J. Noye
    • Inglés

  • The Collected Papers of Gerhard Gentzen

    • 1 Edición
    • Volumen 55
    • Lev D. Beklemishev
    • Inglés

  • Analytic Sets in Locally Convex Spaces

    • 1 Edición
    • Volumen 89
    • P. Mazet
    • Inglés

  • Generalized Recursion Theory II

    • 1 Edición
    • Volumen 94
    • Lev D. Beklemishev
    • Inglés

  • A Deductive Theory of Space and Time

    • 1 Edición
    • Volumen 45
    • Lev D. Beklemishev
    • Inglés

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

    • 1 Edición
    • Volumen 74
    • Lev D. Beklemishev
    • Inglés

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

    • 1 Edición
    • Volumen 99
    • Lev D. Beklemishev
    • Inglés

  • The Theory of Semisets

    • 1 Edición
    • Volumen 70
    • Lev D. Beklemishev
    • Inglés

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

    • 1 Edición
    • Volumen 97
    • Lev D. Beklemishev
    • Inglés

  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 10
    • Demeter Krupka
    • Inglés
    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

Temas relacionados