Skip to main content
Elsevier
View Cart

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.

BooksJournals

    • Directions in Infinite Graph Theory and Combinatorics

      • 1st Edition
      • Volume 3
      • June 6, 2016
      • R. Diestel
      • English
      • eBook
        9 7 8 1 4 8 3 2 9 4 7 9 7
      This book has arisen from a colloquium held at St. John's College, Cambridge, in July 1989, which brought together most of today's leading experts in the field of infinite graph theory and combinatorics. This was the first such meeting ever held, and its aim was to assess the state of the art in the discipline, to consider its links with other parts of mathematics, and to discuss possible directions for future development. This volume reflects the Cambridge meeting in both level and scope. It contains research papers as well as expository surveys of particular areas. Together they offer a comprehensive portrait of infinite graph theory and combinatorics, which should be particularly attractive to anyone new to the discipline.

    • Quasilinearization and Invariant Imbedding

      • 1st Edition
      • June 4, 2016
      • E. Stanley Lee
      • Richard Bellman
      • English
      • Paperback
        9 7 8 1 4 8 3 2 5 2 7 8 0
      • eBook
        9 7 8 1 4 8 3 2 6 6 7 5 6
      Mathematics in Science and Engineering, Volume 41: Quasilinearization and Invariant Imbedding presents a study on the use of two concepts for obtaining numerical solutions of boundary-value problems—quasilinear... and invariant imbedding. This book emphasizes that the invariant imbedding approach reformulates the original boundary-value problem into an initial value problem by introducing new variables or parameters, while the quasilinearization technique represents an iterative approach combined with linear approximations. This volume focuses on analytical aspects that are concerned with actual convergence rates and computational requirements, considering various efficient algorithms that are suited for various types of boundary-value problems. This publication is a good reference for chemical and control engineers and scientists interested in obtaining numerical solutions of boundary-value problems in their particular fields.

    • Safety of Computer Control Systems 1985 (Safecomp '85)

      • 1st Edition
      • June 3, 2016
      • W. J. Quirk
      • English
      • Paperback
        9 7 8 1 4 8 3 1 7 5 0 6 5
      • eBook
        9 7 8 1 4 8 3 1 9 0 8 7 7
      Safety of Computer Control Systems 1985 (Safecomp '85): Achieving Safe Real Time Computer Systems presents the proceedings of the Fourth IFAC Workshop, held in Como, Italy, on October 1–3, 1985. This book discusses a wide range of topics ranging from direct process control through robotics to operator assistance. Organized into 28 chapters, this compilation of papers begins with an overview of the implementation of atomic actions by means of concurrent programming constructs. This text then examines the safety-related applications that usually demand the provision of redundant resources within the system. Other chapters consider the safe performance of an industrial robot system that relies on several factors. This book discusses as well the increasing demand for Computer Assisted Decision Making (CADM) both in engineering and service industries. The final chapter deals with the ways of reducing the effects of an error introduced during the design of a program. This book is a valuable resource for software engineers.

    • Divisor Theory in Module Categories

      • 1st Edition
      • June 3, 2016
      • W. V. Vasconcelos
      • Leopoldo Nachbin
      • English
      • Paperback
        9 7 8 0 7 2 0 4 2 7 1 5 8
      • eBook
        9 7 8 1 4 8 3 2 5 7 2 0 4
      North-Holland Mathematics Studies, 14: Divisor Theory in Module Categories focuses on the principles, operations, and approaches involved in divisor theory in module categories, including rings, divisors, modules, and complexes. The book first takes a look at local algebra and homology of local rings. Discussions focus on Gorenstein rings, Euler characteristics of modules, Macaulay rings, Koszul complexes, Noetherian and coherent rings, flatness, and Fitting's invariants. The text then explains divisorial ideals, including divisors, modules of dimension one, and higher divisorial ideals. The manuscript ponders on spherical modules and divisors and I-divisors. Topics include construction, Euler characteristics of Inj (A), change of rings and dimensions, spherical modules, resolutions and divisors, and elementary properties. The text is a valuable source of information for mathematicians and researchers interested in divisor theory in module categories.

    • Algebra of Proofs

      • 1st Edition
      • June 3, 2016
      • M. E. Szabo
      • K. J. Barwise + 2 more
      • English
      • Paperback
        9 7 8 1 4 8 3 2 5 3 9 7 8
      • eBook
        9 7 8 1 4 8 3 2 7 5 4 2 0
      Algebra of Proofs deals with algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. The presentation is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic. The conceptual basis for the text is the Lindenbaum-Tarski algebras of formulas taken as categories. The formal proofs of the associated deductive systems determine structured categories as their canonical algebras (which are of the same type as the Lindenbaum-Tarski algebras of the formulas of underlying languages). Gentzen's theorem, which asserts that provable formulas code their own proofs, links the algebras of formulas and the corresponding algebras of formal proofs. The book utilizes the Gentzen's theorem and the reducibility relations with the Church-Rosser property as syntactic tools. The text explains two main types of theories with varying linguistic complexity and deductive strength: the monoidal type and the Cartesian type. It also shows that quantifiers fit smoothly into the calculus of adjoints and describe the topos-theoretical setting in which the proof theory of intuitionist first-order logic possesses a natural semantics. The text can benefit mathematicians, students, or professors of algebra and advanced mathematics.

    • Elementary Theory

      • 1st Edition
      • June 3, 2016
      • Richard V. Kadison + 1 more
      • Samuel Eilenberg + 1 more
      • English
      • Paperback
        9 7 8 0 1 2 3 9 3 3 0 4 1
      • eBook
        9 7 8 1 4 8 3 2 1 4 0 9 2
      Fundamentals of the Theory of Operator Algebras, Volume I: Elementary Theory provides information pertinent to the fundamental aspects of the theory of operator algebras. This book discusses the finite-dimensional linear algebra. Organized into five chapters, this volume begins with an overview of the fundamental aspects of linear functional analysis that are needed in the study of operator algebras. This text then discusses the continuous linear operators, continuous linear functionals, weak topologies, and convexity in the context of linear topological spaces. Other chapters consider the elementary geometry of Hilbertspaces and the simplest properties of Hilbert space operators. This book discusses as well algebras that have a Banach-space structure relative to which the multiplication is continuous. The final chapter deals with those C*-algebras that are strong-operator closed in their action on some Hilbert space, which play a fundamental role in the subject. This book is a valuable resource for mathematicians.

    • Intensional and Higher-Order Modal Logic

      • 1st Edition
      • June 3, 2016
      • Daniel Gallin
      • English
      • Paperback
        9 7 8 0 7 2 0 4 0 3 6 0 2
      • eBook
        9 7 8 1 4 8 3 2 7 4 7 3 7
      North-Holland Mathematics Studies, 19: Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics focuses on an approach to the problem of providing a precise account of natural language syntax and semantics, including the set-theoretic semantical methods, Boolean models, and two-sorted type theory. The book first offers information on intensional logic and alternative formulations of intensional logic. Topics include two-sorted type theory, normal forms, extensions and intensional logic, modal T-logic, persistence in intensional logic, generalized completeness of intensional logic, and natural language and intensional logic. The text then examines higher-order modal logic and algebraic semantics. Discussions focus on Cohen's independence results, topological models of MLp, modal independence results, Boolean models of MLp, relative strength of intensional logic and MLp, propositional operators, modal predicate logic, and propositions in MLp. The monograph is a valuable reference for mathematicians and researchers interested in intensional and higher-order modal logic.

    • Training for Tomorrow

      • 1st Edition
      • June 3, 2016
      • J. E. Rijnsdorp + 2 more
      • English
      • eBook
        9 7 8 1 4 8 3 1 9 0 7 0 9
      Training for Tomorrow: Educational Aspects of Computerized Automation is a collection of papers that discusses the introduction of automated systems in all sectors of industry, business, and society. The materials in the title particularly tackle the training concerns in the implementation of automated systems. The issues addressed in the text include training in administrative automation; development of operator training as an integrated part of the specification, design, and implementation of a process control system; and training for the planning of large-scale control systems. The selection also talks about the maintenance of professionals’ training course; the feasibility of success in retraining non-EDP college graduates for EDP occupations; and the future of automation. The book will be of great interest to individuals concerned with the implication of implementing automated systems in various sectors of industry, business, and society.

    • Navier—Stokes Equations

      • 2nd Edition
      • June 3, 2016
      • Roger Temam
      • J. L. Lions + 2 more
      • English
      • Paperback
        9 7 8 1 4 8 3 2 4 9 6 5 0
      • eBook
        9 7 8 1 4 8 3 2 5 6 8 5 6
      Navier-Stokes Equations: Theory and Numerical Analysis focuses on the processes, methodologies, principles, and approaches involved in Navier-Stokes equations, computational fluid dynamics (CFD), and mathematical analysis to which CFD is grounded. The publication first takes a look at steady-state Stokes equations and steady-state Navier-Stokes equations. Topics include bifurcation theory and non-uniqueness results, discrete inequalities and compactness theorems, existence and uniqueness theorems, discretization of Stokes equations, existence and uniqueness for the Stokes equations, and function spaces. The text then examines the evolution of Navier-Stokes equations, including linear case, compactness theorems, alternate proof of existence by semi-discretization, and discretization of the Navier-Stokes equations. The book ponders on the approximation of the Navier-Stokes equations by the projection and compressibility methods; properties of the curl operator and application to the steady-state Navier-Stokes equations; and implementation of non-conforming linear finite elements. The publication is a valuable reference for researchers interested in the theory and numerical analysis of Navier-Stokes equations.

Related subjects

Mathematics and applied mathematics

Statistics and probability