Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • 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 16
    • Lev D. Beklemishev
    • Inglés

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

  • Aspects of Inductive Logic

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

  • The Metamathematics of Algebraic Systems

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

  • Recent Topics in Nonlinear PDE IV

    • 1 Edición
    • Volumen 160
    • M. Mimura + 1 más
    • Inglés
    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

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

  • Computational Techniques for Differential Equations

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

  • Sentences Undecidable in Formalized Arithmetic

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

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

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

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

  • Problems in the Philosophy of Science

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

  • Languages with Expressions of Infinite Length

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

  • The Axiom of Choice

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

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

  • A Deductive Theory of Space and Time

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

  • Logic in Algebraic Form

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

  • 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

  • Truth, Syntax and Modality

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

  • Provability, Computability and Reflection

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

  • Elementary Induction on Abstract Structures

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

  • Provability, Computability and Reflection

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

  • Provability, Computability and Reflection

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

  • Logic Colloquium '77

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

  • Differential Geometry and the Calculus of Variations by Robert Hermann

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

  • Discrete Optimization I

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

  • Kohonen Maps

    • 1 Edición
    • E. Oja + 1 más
    • Inglés
    The Self-Organizing Map, or Kohonen Map, is one of the most widely used neural network algorithms, with thousands of applications covered in the literature. It was one of the strong underlying factors in the popularity of neural networks starting in the early 80's. Currently this method has been included in a large number of commercial and public domain software packages. In this book, top experts on the SOM method take a look at the state of the art and the future of this computing paradigm.The 30 chapters of this book cover the current status of SOM theory, such as connections of SOM to clustering, classification, probabilistic models, and energy functions. Many applications of the SOM are given, with data mining and exploratory data analysis the central topic, applied to large databases of financial data, medical data, free-form text documents, digital images, speech, and process measurements. Biological models related to the SOM are also discussed.

  • Computer Solution of Large Linear Systems

    • 1 Edición
    • Volumen 28
    • Gerard Meurant
    • Inglés
    This book deals with numerical methods for solving large sparse linear systems of equations, particularly those arising from the discretization of partial differential equations. It covers both direct and iterative methods. Direct methods which are considered are variants of Gaussian elimination and fast solvers for separable partial differential equations in rectangular domains. The book reviews the classical iterative methods like Jacobi, Gauss-Seidel and alternating directions algorithms. A particular emphasis is put on the conjugate gradient as well as conjugate gradient -like methods for non symmetric problems. Most efficient preconditioners used to speed up convergence are studied. A chapter is devoted to the multigrid method and the book ends with domain decomposition algorithms that are well suited for solving linear systems on parallel computers.

  • Mathematical Modeling

    A Chemical Engineer's Perspective
    • 1 Edición
    • Volumen 1
    • Rutherford Aris
    • Inglés
    Mathematical modeling is the art and craft of building a system of equations that is both sufficiently complex to do justice to physical reality and sufficiently simple to give real insight into the situation. Mathematical Modeling: A Chemical Engineer's Perspective provides an elementary introduction to the craft by one of the century's most distinguished practitioners. Though the book is written from a chemical engineering viewpoint, the principles and pitfalls are common to all mathematical modeling of physical systems. Seventeen of the author's frequently cited papers are reprinted to illustrate applications to convective diffusion, formal chemical kinetics, heat and mass transfer, and the philosophy of modeling. An essay of acknowledgments, asides, and footnotes captures personal reflections on academic life and personalities.

  • Fourier Acoustics

    Sound Radiation and Nearfield Acoustical Holography
    • 1 Edición
    • Earl G. Williams
    • Inglés
    Intended a both a textbook and a reference, Fourier Acoustics develops the theory of sound radiation uniquely from the viewpoint of Fourier Analysis. This powerful perspective of sound radiation provides the reader with a comprehensive and practical understanding which will enable him or her to diagnose and solve sound and vibration problems in the 21st Century. As a result of this perspective, Fourier Acoustics is able to present thoroughly and simply, for the first time in book form, the theory of nearfield acoustical holography, an important technique which has revolutionised the measurement of sound. Relying little on material outside the book, Fourier Acoustics will be invaluable as a graduate level text as well as a reference for researchers in academia and industry.

  • Ordinary Differential Equations and Applications

    Mathematical Methods for Applied Mathematicians, Physicists, Engineers and Bioscientists
    • 1 Edición
    • W S Weiglhofer + 1 más
    • Inglés
    This introductory text presents ordinary differential equations with a modern approach to mathematical modelling in a one semester module of 20–25 lectures.

  • Theory of Rank Tests

    • 2 Edición
    • Zbynek Sidak + 2 más
    • Inglés
    The first edition of Theory of Rank Tests (1967) has been the precursor to a unified and theoretically motivated treatise of the basic theory of tests based on ranks of the sample observations. For more than 25 years, it helped raise a generation of statisticians in cultivating their theoretical research in this fertile area, as well as in using these tools in their application oriented research. The present edition not only aims to revive this classical text by updating the findings but also by incorporating several other important areas which were either not properly developed before 1965 or have gone through an evolutionary development during the past 30 years. This edition therefore aims to fulfill the needs of academic as well as professional statisticians who want to pursue nonparametrics in their academic projects, consultation, and applied research works.

  • Categorical Logic and Type Theory

    • 1 Edición
    • Volumen 141
    • B. Jacobs
    • Inglés
    This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

  • Recursive Algebra, Analysis and Combinatorics

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

  • Recursive Model Theory

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

  • Handbook of Coding Theory

    Part 2: Connections, Part 3: Applications
    • 1 Edición
    • Volumen II
    • Bozzano G Luisa
    • Inglés
    The second volume of this work contains Parts 2 and 3 of the "Handbook of Coding Theory". Part 2, "Connections", is devoted to connections between coding theory and other branches of mathematics and computer science. Part 3, "Applications", deals with a variety of applications for coding.

  • Projects for Calculus

    The Language of Change
    • 2 Edición
    • Keith D. Stroyan
    • Inglés
    Projects for Calculus is designed to add depth and meaning to any calculus course. The fifty-two projects presented in this text offer the opportunity to expand the use and understanding of mathematics. The wide range of topics will appeal to both instructors and students. Shorter, less demanding projects can be managed by the independent learner, while more involved, in-depth projects may be used for group learning. Each task draws on special mathematical topics and applications from subjects including medicine, engineering, economics, ecology, physics, and biology.

  • Asymptotic Methods in Probability and Statistics

    A Volume in Honour of Miklós Csörgő
    • 1 Edición
    • B. Szyszkowicz
    • Inglés
    One of the aims of the conference on which this book is based, was to provide a platform for the exchange of recent findings and new ideas inspired by the so-called Hungarian construction and other approximate methodologies. This volume of 55 papers is dedicated to Miklós Csörgő a co-founder of the Hungarian construction school by the invited speakers and contributors to ICAMPS'97.This excellent treatize reflects the many developments in this field, while pointing to new directions to be explored. An unequalled contribution to research in probability and statistics.

Temas relacionados