Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Large Infinitary Languages

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

  • Lincos

    Design of a Language for Cosmic Intercourse
    • 1 Edición
    • Volumen 28
    • Lev D. Beklemishev
    • Inglés

  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 8
    • 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

  • Augmented Lagrangian Methods

    Applications to the Numerical Solution of Boundary-Value Problems
    • 1 Edición
    • Volumen 15
    • M. Fortin + 1 más
    • Inglés
    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.

  • Logic, Methodology and Philosophy of Science III

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

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

    • 1 Edición
    • Volumen 3
    • Rutherford Aris
    • 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.

  • Sets and Classes on The Work by Paul Bernays

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

  • Provability, Computability and Reflection

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

  • The Mathematical Theory of Knots and Braids

    • 1 Edición
    • Volumen 82
    • S. Moran
    • Inglés
    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.

  • SET THEORY

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

  • Combinatorial Set Theory

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

  • Nonlinear Partial Differential Equations in Applied Science

    • 1 Edición
    • Volumen 81
    • H. Fujita + 2 más
    • Inglés

  • Foundational Studies Selected Works

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

  • Theory of Hierarchical, Multilevel, Systems

    • 1 Edición
    • Volumen 68
    • 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.

  • Elements of Mathematical Logic

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

  • Provability, Computability and Reflection

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

  • Sets, Models and Recursion Theory

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

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 34
    • Lev D. Beklemishev
    • Inglés
    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".

  • Recent Topics in Nonlinear PDE

    • 1 Edición
    • Volumen 98
    • M. Mimura + 1 más
    • Inglés
    This volume contains papers covering the theory of nonlinear PDEs and the related topics which have been recently developed in Japan.

  • Functional Analysis, Holomorphy and Approximation Theory II

    • 1 Edición
    • Volumen 86
    • G.I. Zapata
    • Inglés

  • Proceedings of the Second Scandinavian Logic Symposium

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

  • Summability Through Functional Analysis

    • 1 Edición
    • Volumen 85
    • A. Wilansky
    • Inglés
    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.

  • The Foundations of Intuitionistic Mathematics

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

  • Provability, Computability and Reflection

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

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

    • 1 Edición
    • Volumen 133
    • 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 20
    • Lev D. Beklemishev
    • Inglés
    Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 20
    • 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

  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 22
    • 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

  • Boundary Value Problems in Queueing System Analysis

    • 1 Edición
    • Volumen 79
    • J.W. Cohen + 1 más
    • Inglés

  • SET THEORY

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

  • Provability, Computability and Reflection

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

  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 18
    • 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

  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 13
    • 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

  • Axiomatic Set Theory

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

  • The Problem of Inductive Logic

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

  • Logic in Algebraic Form

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

  • Algebra of Proofs

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

  • Languages with Expressions of Infinite Length

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

  • Contributions to Mathematical Logic

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

  • Contributions to Non-Standard Analysis

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

  • Introduction to Hilbert Spaces with Applications

    • 3 Edición
    • Lokenath Debnath + 1 más
    • Inglés
    Building on the success of the two previous editions, Introduction to Hilbert Spaces with Applications, Third Edition, offers an overview of the basic ideas and results of Hilbert space theory and functional analysis. It acquaints students with the Lebesgue integral, and includes an enhanced presentation of results and proofs. Students and researchers will benefit from the wealth of revised examples in new, diverse applications as they apply to optimization, variational and control problems, and problems in approximation theory, nonlinear instability, and bifurcation. The text also includes a popular chapter on wavelets that has been completely updated. Students and researchers agree that this is the definitive text on Hilbert Space theory.

  • Lie Algebras: Theory and Algorithms

    • 1 Edición
    • Volumen 56
    • W.A. de Graaf
    • Inglés
    The aim of the present work is two-fold. Firstly it aims at a giving an account of many existing algorithms for calculating with finite-dimensional Lie algebras. Secondly, the book provides an introduction into the theory of finite-dimensional Lie algebras. These two subject areas are intimately related. First of all, the algorithmic perspective often invites a different approach to the theoretical material than the one taken in various other monographs (e.g., [42], [48], [77], [86]). Indeed, on various occasions the knowledge of certain algorithms allows us to obtain a straightforward proof of theoretical results (we mention the proof of the Poincaré-Birkhoff-Wi... theorem and the proof of Iwasawa's theorem as examples). Also proofs that contain algorithmic constructions are explicitly formulated as algorithms (an example is the isomorphism theorem for semisimple Lie algebras that constructs an isomorphism in case it exists). Secondly, the algorithms can be used to arrive at a better understanding of the theory. Performing the algorithms in concrete examples, calculating with the concepts involved, really brings the theory of life.

  • Elsevier's Dictionary of Mathematics

    In English, German, French and Russian
    • 1 Edición
    • K. Peeva + 3 más
    • Inglés
    Elsevier's Dictionary of Mathematics contains 11,652 entries with more than 4,750 cross-references. Selection of the terms was based either on their significance or on their frequency of use according to authoritative encyclopedias, dictionaries and textbooks. Included are both modern developments and contemporary changes in terminology as well as recently established terms.The terminology covers all the major branches from elementary to advanced subjects: arithmetic, algebra, geometry, set theory, discrete mathematics, logic, Boolean algebra, linear algebra, matrix algebra, calculus, differential equations, vector algebra, field theory, probability theory and statistics, optimization, numerical methods, mathematical programming, modern algebra, algebraic structures, computer algebra, category theory, applied mathematics, theory of automata and formal languages, theory of games, theory of graphs, as well as some commonly used entries in computer architecture, hardware, communications, system and application software, microprogramming, etc.This work will provide readers, writers and translators with a guide of the most widely used terms and collections in the area, and will prove to be a useful tool for all professionals exploring the multilingual scientific terminology.

  • Handbook of Differential Geometry, Volume 1

    • 1 Edición
    • F.J.E. Dillen + 1 más
    • Inglés
    In the series of volumes which together will constitute the Handbook of Differential Geometry a rather complete survey of the field of differential geometry is given. The different chapters will both deal with the basic material of differential geometry and with research results (old and recent). All chapters are written by experts in the area and contain a large bibliography.

  • Handbook of Computational Geometry

    • 1 Edición
    • J.R. Sack + 1 más
    • Inglés
    Computational Geometry is an area that provides solutions to geometric problems which arise in applications including Geographic Information Systems, Robotics and Computer Graphics. This Handbook provides an overview of key concepts and results in Computational Geometry. It may serve as a reference and study guide to the field. Not only the most advanced methods or solutions are described, but also many alternate ways of looking at problems and how to solve them.

  • Biomathematics

    Mathematics of Biostructures and Biodynamics
    • 1 Edición
    • S. Andersson + 3 más
    • Inglés
    This book presents new mathematics for the description of structure and dynamics in molecular and cellular biology. On an exponential scale it is possible to combine functions describing inner organisation, including finite periodicity, with functions for outside morphology into a complete definition of structure. This mathematics is particularly fruitful to apply at molecular and atomic distances. The structure descriptions can then be related to atomic and molecular forces and provide information on structural mechanisms. The calculations have been focussed on lipid membranes forming the surface layers of cell organelles. Calculated surfaces represent the mid-surface of the lipid bilayer. Membrane dynamics such as vesicle transport are described in this new language. Periodic membrane assemblies exhibit conformations based on the standing wave oscillations of the bilayer, considered to reflect the true dynamic nature of periodic membrane structures. As an illustration the structure of an endoplasmatic reticulum has been calculated. The transformation of such cell membrane assemblies into cubosomes seems to reflect a transition into vegetative states. The organisation of the lipid bilayer of nerve cells is analyzed, taking into account an earlier observed lipid bilayer phase transition associated with the depolarisation of the membrane. Evidence is given for a new structure of the alveolar surface, relating the mathematical surface defining the bilayer organisation to new experimental data. The surface layer is proposed to consist of a coherent phase, consisting of a lipid-protein bilayer curved according to a classical surface - the CLP surface. Without employing this new mathematics it would not be possible to give an analytical description of this structure and its deformation during the respiration cycle. In more general terms this mathematics is applied to the description of the structure and dynamic properties of motor proteins, cytoskeleton proteins, and RNA/DNA. On a macroscopic scale the motions of cilia, sperm and flagella are modelled. This mathematical description of biological structure and dynamics, biomathematics, also provides significant new information in order to understand the mechanisms governing shape of living organisms.

  • Advances in Computers

    • 1 Edición
    • Volumen 49
    • Inglés
    Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in hardware and software and in computer theory, design, and applications. It has also provided contributors with a medium in which they can examine their subjects in greater depth and breadth than that allowed by standard journal articles. As a result, many articles have become standard references that continue to be of significant, lasting value despite the rapid growth taking place in the field.

  • Classical Recursion Theory, Volume II

    • 1 Edición
    • Volumen 143
    • P. Odifreddi
    • Inglés
    Volume II of Classical Recursion Theory describes the universe from a local (bottom-upor synthetical) point of view, and covers the whole spectrum, from therecursive to the arithmetical sets.The first half of the book provides a detailed picture of the computablesets from the perspective of Theoretical Computer Science. Besides giving adetailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexityclasses, ranging from small time and space bounds to the elementary functions,with a particular attention to polynomial time and space computability. It alsodeals with primitive recursive functions and larger classes, which are ofinterest to the proof theorist. The second half of the book starts with the classical theory of recursivelyenumerabl... sets and degrees, which constitutes the core of Recursion orComputability Theory. Unlike other texts, usually confined to the Turingdegrees, the book covers a variety of other strong reducibilities, studyingboth their individual structures and their mutual relationships. The lastchapters extend the theory to limit sets and arithmetical sets. The volumeends with the first textbook treatment of the enumeration degrees, whichadmit a number of applications from algebra to the Lambda Calculus.The book is a valuable source of information for anyone interested inComplexity and Computability Theory. The student will appreciate the detailedbut informal account of a wide variety of basic topics, while the specialistwill find a wealth of material sketched in exercises and asides. A massivebibliography of more than a thousand titles completes the treatment on thehistorical side.

  • A Wavelet Tour of Signal Processing

    • 2 Edición
    • Stephane Mallat
    • Inglés
    This book is intended to serve as an invaluable reference for anyone concerned with the application of wavelets to signal processing. It has evolved from material used to teach "wavelet signal processing" courses in electrical engineering departments at Massachusetts Institute of Technology and Tel Aviv University, as well as applied mathematics departments at the Courant Institute of New York University and ÉcolePolytechnique in Paris.

  • History of Topology

    • 1 Edición
    • I.M. James
    • Inglés
    Topology, for many years, has been one of the most exciting and influential fields of research in modern mathematics. Although its origins may be traced back several hundred years, it was Poincaré who "gave topology wings" in a classic series of articles published around the turn of the century. While the earlier history, sometimes called the prehistory, is also considered, this volume is mainly concerned with the more recent history of topology, from Poincaré onwards.As will be seen from the list of contents the articles cover a wide range of topics. Some are more technical than others, but the reader without a great deal of technical knowledge should still find most of the articles accessible. Some are written by professional historians of mathematics, others by historically-minded mathematicians, who tend to have a different viewpoint.

Temas relacionados