Saltar al contenido principal

Libros en Matemáticas

  • Homology

    The Hierarchical Basis of Comparative Biology
    • 1 Edición
    • Brian K. Hall
    • Inglés
    The application of homology varies depending on the data being examined. This volume represents a state-of-the-art treatment of the different applications of this unifying concept. Chapters deal with homology on all levels, from molecules to behavior, and are authored by leading contributors to systematics, natural history, and evolutionary, developmental, and comparative biology. This paperback reprint of the original hardbound edition continues to commemorate the 150th anniversary of Sir Richard Owen's seminal paper distinguishing homology from analogy.
  • A Matlab Companion for Multivariable Calculus

    • 1 Edición
    • Jeffery Cooper
    • Inglés
    Offering a concise collection of MatLab programs and exercises to accompany a third semester course in multivariable calculus, A MatLab Companion for Multivariable Calculus introduces simple numerical procedures such as numerical differentiation, numerical integration and Newton's method in several variables, thereby allowing students to tackle realistic problems. The many examples show students how to use MatLab effectively and easily in many contexts. Numerous exercises in mathematics and applications areas are presented, graded from routine to more demanding projects requiring some programming. Matlab M-files are provided on the Harcourt/Academic Press web site at http://www.harcourt-...
  • Theory of Relations

    • 1 Edición
    • Volumen 145
    • R. Fraisse
    • Inglés
    Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders. One of its first important problems was partially solved by Dushnik, Miller 1940 who, starting from the chain of reals, obtained an infinite strictly decreasing sequence of chains (of continuum power) with respect to embeddability. In 1948 I conjectured that every strictly decreasing sequence of denumerable chains is finite. This was affirmatively proved by Laver (1968), in the more general case of denumerable unions of scattered chains (ie: which do not embed the chain Q of rationals), by using the barrier and the better orderin gof Nash-Williams (1965 to 68).Another important problem is the extension to posets of classical properties of chains. For instance one easily sees that a chain A is scattered if the chain of inclusion of its initial intervals is itself scattered (6.1.4). Let us again define a scattered poset A by the non-embedding of Q in A. We say that A is finitely free if every antichain restriction of A is finite (antichain = set of mutually incomparable elements of the base). In 1969 Bonnet and Pouzet proved that a poset A is finitely free and scattered iff the ordering of inclusion of initial intervals of A is scattered. In 1981 Pouzet proved the equivalence with the a priori stronger condition that A is topologically scattered: (see 6.7.4; a more general result is due to Mislove 1984); ie: every non-empty set of initial intervals contains an isolated elements for the simple convergence topology.In chapter 9 we begin the general theory of relations, with the notions of local isomorphism, free interpretability and free operator (9.1 to 9.3), which is the relationist version of a free logical formula. This is generalized by the back-and-forth notions in 10.10: the (k,p)-operator is the relationist version of the elementary formula (first order formula with equality).Chapter 12 connects relation theory with permutations: theorem of the increasing number of orbits (Livingstone, Wagner in 12.4). Also in this chapter homogeneity is introduced, then more deeply studied in the Appendix written by Norbert Saucer.Chapter 13 connects relation theory with finite permutation groups; the main notions and results are due to Frasnay. Also mention the extension to relations of adjacent elements, by Hodges, Lachlan, Shelah who by this mean give an exact calculus of the reduction threshold.The book covers almost all present knowledge in Relation Theory, from origins (Hausdorff 1914, Sierpinski 1928) to classical results (Frasnay 1965, Laver 1968, Pouzet 1981) until recent important publications (Abraham, Bonnet 1999).All results are exposed in axiomatic set theory. This allows us, for each statement, to specify if it is proved only from ZF axioms of choice, the continuum hypothesis or only the ultrafilter axiom or the axiom of dependent choice, for instance.
  • Game Theory

    Mathematical Models of Conflict
    • 1 Edición
    • A. J. Jones
    • Inglés
    Written engagingly and with agreeable humour, this book balances a light touch with a rigorous yet economical account of the theory of games and bargaining models. It provides a precise interpretation, discussion and mathematical analysis for a wide range of “game-like” problems in economics, sociology, strategic studies and war.There is first an informal introduction to game theory, which can be understood by non-mathematicians, which covers the basic ideas of extensive form, pure and mixed strategies and the minimax theorem. The general theory of non-cooperative games is then given a detailed mathematical treatment in the second chapter. Next follows a “first class” account of linear programming, theory and practice, terse, rigorous and readable, which is applied as a tool to matrix games and economics from duality theory via the equilibrium theorem, with detailed explanations of computational aspects of the simplex algorithm.The remaining chapters give an unusually comprehensive but concise treatment of cooperative games, an original account of bargaining models, with a skillfully guided tour through the Shapley and Nash solutions for bimatrix games and a carefully illustrated account of finding the best threat strategies.
  • Topological Algebras

    • 1 Edición
    • Volumen 185
    • V.K. Balachandran
    • Inglés
    This book consists of nine chapters. Chapter 1 is devoted to algebraic preliminaries. Chapter 2 deals with some of the basic definition and results concerning topological groups, topological linear spaces and topological algebras. Chapter 3 considered some generalizations of the norm. Chapter 4 is concerned with a generalization of the notion of convexity called p-convexity. In Chapter 5 some differential and integral analysis involving vector valued functions is developed. Chapter 6 is concerned with spectral analysis and applications. The Gelfand representation theory is the subject-matter of Chapter 7. Chapter 8 deals with commutative topological algebras. Finally in Chapter 9 an exposition of the norm uniqueness theorems of Gelfand and Johnson (extended to p-Banach algebras) is given.
  • From Peirce to Skolem

    A Neglected Chapter in the History of Logic
    • 1 Edición
    • Volumen 4
    • Geraldine Brady
    • Inglés
    This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schröder, Leopold Löwenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.
  • Handbook of Numerical Analysis

    • 1 Edición
    • Volumen 7
    • Philippe G. Ciarlet
    • Inglés
    These volumes cover all the major aspects of numerical analysis. This particular volume discusses the solution of equations in Rn, Gaussian elimination, techniques of scientific computer, the analysis of multigrid methods, wavelet methods, and finite volume methods.
  • Multigrid

    • 1 Edición
    • Ulrich Trottenberg + 2 más
    • Inglés
    Multigrid presents both an elementary introduction to multigrid methods for solving partial differential equations and a contemporary survey of advanced multigrid techniques and real-life applications.Multigr... methods are invaluable to researchers in scientific disciplines including physics, chemistry, meteorology, fluid and continuum mechanics, geology, biology, and all engineering disciplines. They are also becoming increasingly important in economics and financial mathematics.Readers are presented with an invaluable summary covering 25 years of practical experience acquired by the multigrid research group at the Germany National Research Center for Information Technology. The book presents both practical and theoretical points of view.
  • A Course in Probability Theory

    • 3 Edición
    • Kai Lai Chung
    • Inglés
    Since the publication of the first edition of this classic textbook over thirty years ago, tens of thousands of students have used A Course in Probability Theory. New in this edition is an introduction to measure theory that expands the market, as this treatment is more consistent with current courses. While there are several books on probability, Chung's book is considered a classic, original work in probability theory due to its elite level of sophistication.
  • Table of Integrals, Series, and Products

    • 6 Edición
    • Daniel Zwillinger + 1 más
    • Inglés
    The Table of Integrals, Series, and Products is the major reference source for integrals in the English language.It is designed for use by mathematicians, scientists, and professional engineers who need to solve complex mathematical problems.
  • Geometric Measure Theory

    A Beginner's Guide
    • 3 Edición
    • Frank Morgan
    • Inglés
    Geometric measure theory has become increasingly essential to geometry as well as numerous and varied physical applications. The third edition of this leading text/reference introduces the theory, the framework for the study of crystal growth, clusters of soap bubbles, and similar structures involving minimization of energy. Over the past thirty years, this theory has contributed to major advances in geometry and analysis including, for example, the original proof of the positive mass conjecture in cosmology.This third edition of Geometric Measure Theory: A Beginner's Guide presents, for the first time in print, the proofs of the double bubble and the hexagonal honeycomb conjectures. Four new chapters lead the reader through treatments of the Weaire-Phelan counterexample of Kelvin's conjecture, Almgren's optimal isoperimetric inequality, and immiscible fluids and crystals. The abundant illustrations, examples, exercises, and solutions in this book will enhance its reputation as the most accessible introduction to the subject.
  • Power Geometry in Algebraic and Differential Equations

    • 1 Edición
    • Volumen 57
    • A.D. Bruno
    • Inglés
    The geometry of power exponents includes the Newton polyhedron, normal cones of its faces, power and logarithmic transformations. On the basis of the geometry universal algorithms for simplifications of systems of nonlinear equations (algebraic, ordinary differential and partial differential) were developed.The algorithms form a new calculus which allows to make local and asymptotical analysis of solutions to those systems.The efficiency of the calculus is demonstrated with regard to several complicated problems from Robotics, Celestial Mechanics, Hydrodynamics and Thermodynamics. The calculus also gives classical results obtained earlier intuitively and is an alternative to Algebraic Geometry, Differential Algebra, Lie group Analysis and Nonstandard Analysis.
  • Computable Structures and the Hyperarithmetical Hierarchy

    • 1 Edición
    • Volumen 144
    • C.J. Ash + 1 más
    • Inglés
    This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties).
  • Introductory Analysis

    A Deeper View of Calculus
    • 1 Edición
    • Richard J. Bagby
    • Inglés
    Introductory Analysis addresses the needs of students taking a course in analysis after completing a semester or two of calculus, and offers an alternative to texts that assume that math majors are their only audience. By using a conversational style that does not compromise mathematical precision, the author explains the material in terms that help the reader gain a firmer grasp of calculus concepts.
  • Linear Algebra and Linear Operators in Engineering

    With Applications in Mathematica®
    • 1 Edición
    • Volumen 3
    • H. Ted Davis + 1 más
    • Inglés
    Designed for advanced engineering, physical science, and applied mathematics students, this innovative textbook is an introduction to both the theory and practical application of linear algebra and functional analysis. The book is self-contained, beginning with elementary principles, basic concepts, and definitions. The important theorems of the subject are covered and effective application tools are developed, working up to a thorough treatment of eigenanalysis and the spectral resolution theorem. Building on a fundamental understanding of finite vector spaces, infinite dimensional Hilbert spaces are introduced from analogy. Wherever possible, theorems and definitions from matrix theory are called upon to drive the analogy home. The result is a clear and intuitive segue to functional analysis, culminating in a practical introduction to the functional theory of integral and differential operators. Numerous examples, problems, and illustrations highlight applications from all over engineering and the physical sciences. Also included are several numerical applications, complete with Mathematica solutions and code, giving the student a "hands-on" introduction to numerical analysis. Linear Algebra and Linear Operators in Engineering is ideally suited as the main text of an introductory graduate course, and is a fine instrument for self-study or as a general reference for those applying mathematics.
  • Difference Equations

    An Introduction with Applications
    • 2 Edición
    • Walter G. Kelley + 1 más
    • Inglés
    Difference Equations, Second Edition, presents a practical introduction to this important field of solutions for engineering and the physical sciences. Topic coverage includes numerical analysis, numerical methods, differential equations, combinatorics and discrete modeling. A hallmark of this revision is the diverse application to many subfields of mathematics.
  • Handbook of Algebra

    • 1 Edición
    • Volumen 2
    • M. Hazewinkel
    • Inglés
  • Functional Analysis, Holomorphy and Approximation Theory

    • 1 Edición
    • Volumen 71
    • J.A. Barroso
    • Inglés
  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 27
    • Lev D. Beklemishev
    • Inglés
  • Formal Systems and Recursive Functions

    • 1 Edición
    • Volumen 40
    • Lev D. Beklemishev
    • Inglés
  • Studies in Logic and the Foundations of Mathematics

    • 1 Edición
    • Volumen 42
    • Lev D. Beklemishev
    • Inglés
  • Stability of Motion by A M Liapunov

    • 1 Edición
    • Volumen 30
    • A. M. Liapunov
    • 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.
  • Non-Linear Wave Propagation With Applications to Physics and Magnetohydrodynamics by A Jeffrey and T Taniuti

    • 1 Edición
    • Volumen 9
    • 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.
  • Proof Theory

    • 1 Edición
    • Volumen 81
    • Lev D. Beklemishev
    • Inglés
  • Topics in Functional Analysis over Valued Division Rings

    • 1 Edición
    • Volumen 77
    • J.B. Prolla
    • Inglés
  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 12
    • Lev D. Beklemishev
    • Inglés
  • WORD PROBLEMS II

    • 1 Edición
    • Volumen 95
    • Lev D. Beklemishev
    • Inglés
  • Non-Classical Logics, Model Theory, And Computability

    • 1 Edición
    • Volumen 89
    • 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 30
    • Lev D. Beklemishev
    • Inglés
  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 23
    • 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
  • Intuitionism An Introduction

    • 1 Edición
    • Volumen 41
    • Lev D. Beklemishev
    • Inglés
  • Unification of Finite Element Methods

    • 1 Edición
    • Volumen 94
    • H. Kardestuncer
    • Inglés
  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 17
    • 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
  • Concepts from Tensor Analysis and Differential Geometry by Tracy Y Thomas

    • 1 Edición
    • Volumen 1
    • 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.
  • Sentences Undecidable in Formalized Arithmetic

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

    • 1 Edición
    • Volumen 56
    • Lev D. Beklemishev
    • Inglés
  • Aspects of Inductive Logic

    • 1 Edición
    • Volumen 43
    • 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.
  • Model Theory For Infinitary Logic

    • 1 Edición
    • Volumen 62
    • Lev D. Beklemishev
    • Inglés
  • Computer Programming and Formal Systems

    • 1 Edición
    • Volumen 35
    • Lev D. Beklemishev
    • Inglés
  • Truth, Syntax and Modality

    • 1 Edición
    • Volumen 68
    • Lev D. Beklemishev
    • Inglés
  • Systems and Simulation by Dimitris N Chorafas

    • 1 Edición
    • Volumen 14
    • 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.
  • Differential Equations

    • 1 Edición
    • Volumen 92
    • I.W. Knowles + 1 más
    • Inglés
    This volume forms a record of the lectures given at this International Conference. Under the general heading of the equations of mathematical physics, contributions are included on a broad range of topics in the theory and applications of ordinary and partial differential equations, including both linear and non-linear equations. The topics cover a wide variety of methods (spectral, theoretical, variational, topological, semi-group), and a equally wide variety of equations including the Laplace equation, Navier-Stokes equations, Boltzmann's equation, reaction-diffusion equations, Schroedinger equations and certain non-linear wave equations. A number of papers are devoted to multi-particle scattering theory, and to inverse theory. In addition, many of the plenary lectures contain a significant amount of survey material on a wide variety of these topics.
  • Introduction to Holomorphy

    • 1 Edición
    • Volumen 106
    • J.A. Barroso
    • Inglés
    This book presents a set of basic properties of holomorphic mappings between complex normed spaces and between complex locally convex spaces. These properties have already achieved an almost definitive form and should be known to all those interested in the study of infinite dimensional Holomorphy and its applications.The author also makes ``incursions'' into the study of the topological properties of the spaces of holomorphic mappings between spaces of infinite dimension. An attempt is then made to show some of the several topologies that can naturally be considered in these spaces.Infinite dimensional Holomorphy appears as a theory rich in fascinating problems and rich in applications to other branches of Mathematics and Mathematical Physics.
  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 24
    • Lev D. Beklemishev
    • Inglés
  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 14
    • Lev D. Beklemishev
    • Inglés
  • Computer Programming and Formal Systems

    • 1 Edición
    • Volumen 26
    • Lev D. Beklemishev
    • Inglés
  • Provability, Computability and Reflection

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