Skip to main content

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.

  • Real Time Programming 1977

    Proceedings of the IFAC/IFIP Workshop, Eindhoven, Netherlands, 20-22 June 1977
    • 1st Edition
    • C. H. Smedema
    • English
    Real Time Programming 1977 covers the proceedings of the IFAC/IFIP Workshop, held in Eindhoven, Netherlands, on June 20-22, 1977. The book focuses on the languages, methods, and techniques in real time programming, including debugging systems, hardware, parallel programs, and multi-processor systems. The selection first discusses experience with the programming language modula; flexible approaches to process communication; and high level process control “Esprit“ and its source level debugging system “Solda“. The book then takes a look at software tools for designing and realizing distributed systems in process control and steps in implementing a parallel code executor, including system decomposition, challenge of the new hardware, and situation of real-time programming. The publication reviews software specification language for sequential processes and petri nets for proving correctness of parallel programs. Concerns include state graphs as a model for automata and petri net application to programs. The text also focuses on real-time distributed processing system using GEC 4000 series computers; integration of high-level interpretive software with microprocessor-based distributed control systems; and software approach for multi-processor systems. The selection is a vital reference for readers interested in real-time programming.
  • A Collection of Contributions in Honour of Jack van Lint

    • 1st Edition
    • P.J. Cameron + 1 more
    • English
    This collection of contributions is offered to Jack van Lint on the occasion of his sixtieth birthday and appears simultaneously in the series Topics in Discrete Mathematics and as a special double volume of Discrete Mathematics (Volumes 106/107). It is hoped that the papers selected, all written by experts in their own fields, represent the many interesting areas that together constitute the discipline of Discrete Mathematics. It is in this sphere that van Lint has become the acknowledged master and this expansive volume serves to demonstrate the enormous significance he has had on the development of Discrete Mathematics during the last 30 years.
  • 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.
  • 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.
  • Nonarchimedean Fields and Asymptotic Expansions

    • 1st Edition
    • A. H. Lightstone + 1 more
    • English
    North-Holland Mathematical Library, Volume 13: Nonarchimedean Fields and Asymptotic Expansions focuses on the connection between nonarchimedean systems and the orders of infinity and smallness that are related with the asymptotic behavior of a function. The publication first explains nonarchimedean fields and nonstandard analysis. Discussions focus on the method of mathematical logic, ultrapower construction, principles of permanence, internal functions, many-sorted structures, nonarchimedean fields and groups, and fields with evaluation. The text then discusses the Euler-Maclaurin expansions and the formal concept of asymptotic expansions. Topics include a generalized criterion for asymptotic expansions, asymptotic power series, Watson's Lemma, asymptotic sequences, and the Euler-Maclaurin formula. The manuscript examines Popken space, including asymptotically finite functions, convergence, norm, algebraic properties of the norm, and Popken's description of the norm. The text is a dependable reference for mathematicians and researchers interested in nonarchimedean fields and asymptotic expansions.
  • Adaptive Processes in Economic Systems

    • 1st Edition
    • Roy E. Murphy
    • Richard Bellman
    • English
    Mathematics in Science and Engineering, Volume 20, Adaptive Processes in Economic Systems demonstrates the usefulness of communications theory, self-adaptive control theory, and thermodynamic theory to certain economic processes. This book discusses the common properties of adaptive processes, role of the decision maker, and mixed adaptive processes of the first and second kind. The economic environmental processes, concept of entropy time, and stochastic dynamic economic process are also elaborated. This text likewise covers the investment model with full liquidity, adaptive capital allocation process, and concept of an economic state space. Other topics include the stochastic equilibrium in the market and individual adaptive behavior. This volume is suitable for engineers, economists, and specialists of disciplines related to economic systems.
  • Scattering Theory

    Pure and Applied Mathematics, Vol. 26
    • 1st Edition
    • Peter D. Lax + 1 more
    • Paul A. Smith + 1 more
    • English
    Scattering Theory describes classical scattering theory in contrast to quantum mechanical scattering theory. The book discusses the formulation of the scattering theory in terms of the representation theory. The text also explains the relation between the behavior of the solution of the perturbed problem at small distances for large positive times and the analytic continuation of the scattering matrix. To prove the representation theorem, the text cites the methods used by Masani and Robertson in their work dealing with stationary stochastic processes. The book also applies the translation representation theory to a wave equation to obtain a comparison of the asymptotic properties of the free space solution with those of the solution in an exterior domain. The text discusses the solution of the wave equation in an exterior domain by fitting this problem into the abstract framework to get a verification of the hypotheses in some other theorems. The general theory of scattering can be applied to symmetric hyperbolic systems in which all sound speeds are different from zero, as well as to the acoustic equation which has a potential that can cause an energy form to become indefinite. The book is suitable for proponents of analytical mathematics, particle physics, and quantum physics.
  • 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.
  • 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.
  • Navier—Stokes Equations

    Theory and Numerical Analysis
    • 2nd Edition
    • Roger Temam
    • J. L. Lions + 2 more
    • English
    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.