Skip to main content
Elsevier

Books in Mathematics

The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

  • Handbook of Process Algebra

    • 1st Edition
    • J.A. Bergstra + 2 more
    • English
    Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra.This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters. The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.

  • Nonlinear Equations and Optimisation

    • 1st Edition
    • Volume 4
    • L.T. Watson + 2 more
    • English
    /homepage/sac/cam/na... Set now available at special set price !In one of the papers in this collection, the remark that "nothing at all takes place in the universe in which some rule of maximum of minimum does not appear" is attributed to no less an authority than Euler. Simplifying the syntax a little, we might paraphrase this as Everything is an optimization problem. While this might be something of an overstatement, the element of exaggeration is certainly reduced if we consider the extended form: Everything is an optimization problem or a system of equations. This observation, even if only partly true, stands as a fitting testimonial to the importance of the work covered by this volume.Since the 1960s, much effort has gone into the development and application of numerical algorithms for solving problems in the two areas of optimization and systems of equations. As a result, many different ideas have been proposed for dealing efficiently with (for example) severe nonlinearities and/or very large numbers of variables. Libraries of powerful software now embody the most successful of these ideas, and one objective of this volume is to assist potential users in choosing appropriate software for the problems they need to solve. More generally, however, these collected review articles are intended to provide both researchers and practitioners with snapshots of the 'state-of-the-art' with regard to algorithms for particular classes of problem. These snapshots are meant to have the virtues of immediacy through the inclusion of very recent ideas, but they also have sufficient depth of field to show how ideas have developed and how today's research questions have grown out of previous solution attempts.The most efficient methods for local optimization, both unconstrained and constrained, are still derived from the classical Newton approach.As well as dealing in depth with the various classical, or neo-classical, approaches, the selection of papers on optimization in this volume ensures that newer ideas are also well represented.Solving nonlinear algebraic systems of equations is closely related to optimization. The two are not completely equivalent, however, and usually something is lost in the translation.Algorith... for nonlinear equations can be roughly classified as locally convergent or globally convergent. The characterization is not perfect.Locally convergent algorithms include Newton's method, modern quasi-Newton variants of Newton's method, and trust region methods. All of these approaches are well represented in this volume.

  • Introduction to Abstract Algebra

    • 6th Edition
    • Neil McCoy + 1 more
    • English
    A revision of McCoy's classic text, Introductory Abstract Algebra, Sixth Edition, retains the goals of earlier editions by providing the key information for a first course in abstract algebra in an easily understood, digestible manner. The material in the sixth edition is kept at approximately the same level as that in the previous editions with a number of comments, remarks, and exercises that point students toward more advanced topics. Rings are presented before groups because the ring of integers is already known to students and easily serves as a source of examples.

  • Rudiments of Calculus

    • 1st Edition
    • Volume 146
    • A. Arnold + 1 more
    • English
    This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, which we also explain in an algebraic way. This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. We have designed this book especially for researchers and students interested in logic in computer science, comuter aided verification, and general aspects of automata theory. We have aimed at gathering in a single place the fundamental results of the theory, that are currently very scattered in the literature, and often hardly accessible for interested readers. The presentation is self-contained, except for the proof of the Mc-Naughton's Determinization Theorem (see, e.g., [97]. However, we suppose that the reader is already familiar with some basic automata theory and universal algebra. The references, credits, and suggestions for further reading are given at the end of each chapter.

  • Mathematical Methods for Physicists

    • 5th Edition
    • George B. Arfken + 1 more
    • English
    Through four editions, Arfken and Weber's best-selling Mathematical Methods for Physicists has provided upper-level undergraduate and graduate students with the paramount coverage of the mathematics necessary for advanced study in physics and engineering. It provides the essential mathematical methods that aspiring physicists are likely to encounter as students or beginning researchers. Appropriate for a physics service course, as well as for more advanced coursework, this is the book of choice in the field.

  • The Theory of Fractional Powers of Operators

    • 1st Edition
    • Volume 187
    • C. Martinez + 1 more
    • English
    This book makes available to researchers and advanced graduates a simple and direct presentation of the fundamental aspects of the theory of fractional powers of non-negative operators, which have important links with partial differential equations and harmonic analysis. For the first time ever, a book deals with this subject monographically, despite the large number of papers written on it during the second half of the century. The first chapters are concerned with the construction of a basic theory of fractional powers and study the classic questions in that respect. A new and distinct feature is that the approach adopted has allowed the extension of this theory to locally convex spaces, thereby including certain differential operators, which appear naturally in distribution spaces. The bulk of the second part of the book is dedicated to powers with pure imaginary exponents, which have been the focus of research in recent years, ever since the publication in 1987 of the now classic paper by G.Dore and A.Venni. Special care has been taken to give versions of the results with more accurate hypotheses, particularly with respect to the density of the domain or the range of the operator. The authors have made a point of making the text clear and self-contained. Accordingly, an extensive appendix contains the material on real and functional analysis used and, at the end of each chapter there are detailed historical and bibliographical notes in order to understand the development and current state of research into the questions dealt with.

  • Geometry with Trigonometry

    • 1st Edition
    • Patrick D Barry
    • English
    This book addresses a neglected mathematical area where basic geometry underpins undergraduate and graduate courses. Its interdisciplinary portfolio of applications includes computational geometry, differential geometry, mathematical modelling, computer science, computer-aided design of systems in mechanical, structural and other engineering, and architecture. Professor Barry, from his long experience of teaching and research, here delivers a modern and coherent exposition of this subject area for varying levels in mathematics, applied mathematics, engineering mathematics and other areas of application. Euclidean geometry is neglected in university courses or scattered over a number of them. This text emphasises a systematic and complete build-up of material, moving from pure geometrical reasoning aided by algebra to a blend of analytic geometry and vector methods with trigonometry, always with a view to efficiency. The text starts with a selection of material from the essentials of Euclidean geometry at A level, and ends with an introduction to trigonometric functions in calculus.Very many geometric diagrams are provided for a clear understanding of the text, with abundant Problem Exercises for each chapter. Students, researchers and industrial practitioners would benefit from this sustained mathematisation of shapes and magnitude from the real world of science which can raise and help their mathematical awareness and ability.

  • Introduction to Feedback Control

    • 1st Edition
    • Kirsten A. Morris
    • English
    What is often referred to as industrial mathematics is becoming a more important focus of applied mathematics. An increased interest in undergraduate control theory courses for mathematics students is part of this trend. This is due to the fact that control theory is both quite mathematical and very important in applications. Introduction to Feedback Control provides a rigorous introduction to input/output, controller design for linear systems to junior/senior level engineering and mathematics students. All explanations and most examples are single-input, single-output for ease of exposition. The student is assumed to have knowledge of linear ordinary differential equations and complex variables.

  • A Mathematical Introduction to Logic

    • 2nd Edition
    • Herbert B. Enderton
    • English
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.

  • Interpolation and Extrapolation

    • 1st Edition
    • Volume 2
    • C. Brezinski
    • English
    /homepage/sac/cam/na... Set now available at special set price!This volume is dedicated to two closely related subjects: interpolation and extrapolation. The papers can be divided into three categories: historical papers, survey papers and papers presenting new developments.Interpo... is an old subject since, as noticed in the paper by M. Gasca and T. Sauer, the term was coined by John Wallis in 1655. Interpolation was the first technique for obtaining an approximation of a function. Polynomial interpolation was then used in quadrature methods and methods for the numerical solution of ordinary differential equations.Extrapolat... is based on interpolation. In fact, extrapolation consists of interpolation at a point outside the interval containing the interpolation points. Usually, this point is either zero or infinity. Extrapolation is used in numerical analysis to improve the accuracy of a process depending of a parameter or to accelerate the convergence of a sequence. The most well-known extrapolation processes are certainly Romberg's method for improving the convergence of the trapezoidal rule for the computation of a definite integral and Aiken's &Dgr;2 process which can be found in any textbook of numerical analysis.Obviously, all aspects of interpolation and extrapolation have not been treated in this volume. However, many important topics have been covered.

  • Homology

    The Hierarchical Basis of Comparative Biology
    • 1st Edition
    • Brian K. Hall
    • English
    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

    • 1st Edition
    • Jeffery Cooper
    • English
    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-...

  • Quantum Theoretic Machines

    What is thought from the point of view of Physics?
    • 1st Edition
    • A. Stern
    • English
    Making Sense of Inner Sense'Terra cognita' is terra incognita. It is difficult to find someone not taken abackand fascinated by the incomprehensible but indisputable fact: there are material systems which are aware of themselves. Consciousness is self-cognizing code. During homo sapiens's relentness and often frustrated search for self-understanding various theories of consciousness have been and continue to be proposed. However, it remains unclear whether and at what level the problems of consciousness and intelligent thought can be resolved. Science's greatest challenge is to answer the fundamental question: what precisely does a cognitive state amount to in physical terms?Albert Einstein insisted that the fundamental ideas of science are essentially simple and can be expressed in a language comprehensible to everyone. When one thinks about the complexities which present themselves in modern physics and even more so in the physics of life, one may wonder whether Einstein really meant what he said. Are we to consider the fundamental problem of the mind, whose understanding seems to lie outside the limits of the mind, to be essentially simple too? Knowledge is neither automatic nor universally deductive. Great new ideas are typically counterintuitive and outrageous, and connecting them by simple logical steps to existing knowledge is often a hard undertaking. The notion of a tensor was needed to provide the general theory of relativity; the notion of entropy had to be developed before we could get full insight into the laws of thermodynamics; the notice of information bit is crucial for communication theory, just as the concept of a Turing machine is instrumental in the deep understanding of a computer. To understand something, consciousness must reach an adequate intellectual level, even more so in order to understand itself. Reality is full of unending mysteries, the true explanation of which requires very technical knowledge, often involving notions not given directly to intuition. Even though the entire content and the results of this study are contained in the eight pages of the mathematical abstract, it would be unrealistic and impractical to suggest that anyone can gain full insight into the theory that presented here after just reading abstract.In our quest for knowledge we are exploring the remotest areas of the macrocosm and probing the invisible particles of the microcosm, from tiny neutrinos and strange quarks to black holes and the Big Bang. But the greatest mystery is very close to home: the greatest mystery is human consciousness. The question before us is whether the logical brain has evolved to a conceptual level where it is able to understand itself.

  • Game Theory

    Mathematical Models of Conflict
    • 1st Edition
    • A. J. Jones
    • English
    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

    • 1st Edition
    • Volume 185
    • V.K. Balachandran
    • English
    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
    • 1st Edition
    • Volume 4
    • Geraldine Brady
    • English
    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.

  • Multigrid

    • 1st Edition
    • Ulrich Trottenberg + 2 more
    • English
    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.

  • Handbook of Mathematical Formulas and Integrals

    • 2nd Edition
    • Alan Jeffrey
    • English
    This Second Edition follows the original pattern of presenting of presenting the most frequently used integrals, mathematical formulas, and results in a form convenient for the user. The Handbook provides an essential reference work for students and researchers in applied mathematics, engineering, and physics. The most important formulas, functions, and results used in applications of mathematics are covered.New material includes proof by mathematical induction, properties of spherical Bessel functions, more detailed results on orthogonal polynomials, interpolation and Pade approximation, and a section on the z-transform. The original thumb-tab indexing has been retained, as it provides an easy reference system that supplements the contents listing and extensive index.

  • Linear Algebra with Mathematica, Student Solutions Manual

    An Introduction Using Mathematica
    • 1st Edition
    • Fred Szabo
    • English
    This book introduces interested readers, practitioners, and researchers to Mathematica<$> methods for solving practical problems in linear algebra. It contains step-by-step solutions of problems in computer science, economics, engineering, mathematics, statistics, and other areas of application. Each chapter contains both elementary and more challenging problems, grouped by fields of application, and ends with a set of exercises. Selected answers are provided in an appendix. The book contains a glossary of definitions and theorem, as well as a summary of relevant Mathematica<$> tools. Applications of Linear Algebra<$> can be used both in laboratory sessions and as a source of take-home problems and projects.

  • Table of Integrals, Series, and Products

    • 6th Edition
    • Daniel Zwillinger + 1 more
    • English
    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
    • 3rd Edition
    • Frank Morgan
    • English
    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

    • 1st Edition
    • Volume 57
    • A.D. Bruno
    • English
    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.

  • Mathematics Mechanization and Applications

    • 1st Edition
    • Dongming Wang + 1 more
    • English
    Mathematics Mechanization and Applications provides a uniform presentation of major developments, carried out mostly in Wu's extended Chinese group, on algorithms and software tools for mechanizing algebraic equations solving and geometric theorem proving together with their applications to problems in science and engineering. It is distinguished by its uniform presentation with all-Chinese contributors and a 40-page list of references. There are 20 chapters written by experienced researchers. The book is divided into four parts: polynomial system solving, automated geometric reasoning, algebraic computation, and implementations and applications. Each chapter is devoted to surveying and expounding the main results achieved from one selected subject. The book contains surveys for diverse applications of the theories and methods to real world problems, ranging from the analysis of robotics and mechanisms to nonlinear programming and chemical equilibrium computation. Part of the theoretical and practical work reviewed in the book has been either unpublished or published only in Chinese journals or even only in the Chinese language. This book therefore provides Western readers working in symbolic and algebraic computation, geometric reasoning and modeling, algorithmic mathematics, robotics, CAGD, and other relevant areas with an easily accessible source of references for what the Chinese researchers have been doing under the banner of mathematics mechanization.

  • Computable Structures and the Hyperarithmetical Hierarchy

    • 1st Edition
    • Volume 144
    • C.J. Ash + 1 more
    • English
    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
    • 1st Edition
    • Richard J. Bagby
    • English
    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®
    • 1st Edition
    • Volume 3
    • H. Ted Davis + 1 more
    • English
    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
    • 2nd Edition
    • Walter G. Kelley + 1 more
    • English
    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 Applied Multivariate Statistics and Mathematical Modeling

    • 1st Edition
    • Howard E.A. Tinsley + 1 more
    • English
    Multivariate statistics and mathematical models provide flexible and powerful tools essential in most disciplines. Nevertheless, many practicing researchers lack an adequate knowledge of these techniques, or did once know the techniques, but have not been able to keep abreast of new developments. The Handbook of Applied Multivariate Statistics and Mathematical Modeling explains the appropriate uses of multivariate procedures and mathematical modeling techniques, and prescribe practices that enable applied researchers to use these procedures effectively without needing to concern themselves with the mathematical basis. The Handbook emphasizes using models and statistics as tools. The objective of the book is to inform readers about which tool to use to accomplish which task. Each chapter begins with a discussion of what kinds of questions a particular technique can and cannot answer. As multivariate statistics and modeling techniques are useful across disciplines, these examples include issues of concern in biological and social sciences as well as the humanities.

  • Continuation of the Notas de Matemàtica

    • 1st Edition
    • Volume 177
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Provability, Computability and Reflection

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

  • Augmented Lagrangian Methods

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

  • Mathematical and Conceptual Foundations of 20th-Century Physics

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

  • Discrete Optimization I

    • 1st Edition
    • Volume 4
    • English

  • Functional Analysis: Surveys and Recent Results III

    • 1st Edition
    • Volume 90
    • K.-D. Bierstedt + 1 more
    • English
    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.

  • Introduction to Holomorphy

    • 1st Edition
    • Volume 106
    • J.A. Barroso
    • English
    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.

  • Differential Equations

    • 1st Edition
    • Volume 92
    • I.W. Knowles + 1 more
    • English
    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.

  • An Algebraic Approach to Non-Classical Logics

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

  • Provability, Computability and Reflection

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

  • Intuitionism An Introduction

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

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

    • 1st Edition
    • Volume 48
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Provability, Computability and Reflection

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 183
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Logic Colloquium '77

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

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 17
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 16
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Concepts from Tensor Analysis and Differential Geometry by Tracy Y Thomas

    • 1st Edition
    • Volume 1
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Provability, Computability and Reflection

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

  • Provability, Computability and Reflection

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

  • Unification of Finite Element Methods

    • 1st Edition
    • Volume 94
    • H. Kardestuncer
    • English

  • Provability, Computability and Reflection

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

Related subjects