Skip to main content
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.

  • Proceedings of the Ninth Power Systems Computation Conference

    • 1st Edition
    • Cascais Portugal
    • English

  • Directions in Infinite Graph Theory and Combinatorics

    With an introduction by C.St.J.A. Nash-Williams
    • 1st Edition
    • Volume 3
    • R. Diestel
    • English
    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.

  • Partial Differential Equations of Mathematical Physics

    International Series of Monographs in Pure and Applied Mathematics
    • 1st Edition
    • S. L. Sobolev
    • I. N. Sneddon + 2 more
    • English
    Pure and Applied Mathematics, Volume 56: Partial Differential Equations of Mathematical Physics provides a collection of lectures related to the partial differentiation of mathematical physics. This book covers a variety of topics, including waves, heat conduction, hydrodynamics, and other physical problems. Comprised of 30 lectures, this book begins with an overview of the theory of the equations of mathematical physics that has its object the study of the integral, differential, and functional equations describing various natural phenomena. This text then examines the linear equations of the second order with real coefficients. Other lectures consider the Lebesgue–Fubini theorem on the possibility of changing the order of integration in a multiple integral. This book discusses as well the Dirichlet problem and the Neumann problem for domains other than a sphere or half-space. The final lecture deals with the properties of spherical functions. This book is a valuable resource for mathematicians.

  • Quasilinearization and Invariant Imbedding

    With Applications to Chemical Engineering and Adaptive Control
    • 1st Edition
    • E. Stanley Lee
    • Richard Bellman
    • English
    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)

    Achieving Safe Real Time Computer Systems
    • 1st Edition
    • W. J. Quirk
    • English
    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
    • W. V. Vasconcelos
    • Leopoldo Nachbin
    • English
    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
    • M. E. Szabo
    • K. J. Barwise + 2 more
    • English
    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

    Fundamentals of the Theory of Operator Algebras
    • 1st Edition
    • Richard V. Kadison + 1 more
    • Samuel Eilenberg + 1 more
    • English
    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
    • Daniel Gallin
    • English
    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

    Educational Aspects of Computerized Automation
    • 1st Edition
    • J. E. Rijnsdorp + 2 more
    • English
    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.

Related subjects