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.

  • A Fête of Topology

    Papers Dedicated to Itiro Tamura
    • 1st Edition
    • Y. Matsumoto + 2 more
    • English
    A Fête of Topology: Papers Dedicated to Itiro Tamura focuses on the progress in the processes, methodologies, and approaches involved in topology, including foliations, cohomology, and surface bundles. The publication first takes a look at leaf closures in Riemannian foliations and differentiable singular cohomology for foliations. Discussions focus on differentiable singular chains restricted to leaves, differentiable singular cohomology for foliations, covering of pseudogroups and fundamental group, normal type of an orbit closure, and construction of a global model. The text then takes a look at measure of exceptional minimal sets of codimension one foliations, examples of exceptional minimal sets, foliations transverse to non-singular Morse-Smale flows, and Chern character for discrete groups. The manuscript ponders on characteristic classes of surface bundles and bounded cohomology, Hill's equation, isomonodromy deformation and characteristic classes, and topology of folds, cusps, and Morin singularities. Topics include system of Hill's equations, Lagrange-Grassman manifold, positive curves, Morse theory, bounded cohomology, and characteristic classes of surface bundles. The publication is a vital source of information for researchers interested in topology.
  • Nonnegative Matrices in the Mathematical Sciences

    • 1st Edition
    • Abraham Berman + 1 more
    • English
    Nonnegative Matrices in the Mathematical Sciences provides information pertinent to the fundamental aspects of the theory of nonnegative matrices. This book describes selected applications of the theory to numerical analysis, probability, economics, and operations research. Organized into 10 chapters, this book begins with an overview of the properties of nonnegative matrices. This text then examines the inverse-positive matrices. Other chapters consider the basic approaches to the study of nonnegative matrices, namely, geometrical and combinatorial. This book discusses as well some useful ideas from the algebraic theory of semigroups and considers a canonical form for nonnegative idempotent matrices and special types of idempotent matrices. The final chapter deals with the linear complementary problem (LCP). This book is a valuable resource for mathematical economists, mathematical programmers, statisticians, mathematicians, and computer scientists.
  • An Introduction to Data Base Design

    • 1st Edition
    • Betty Joan Salzberg
    • English
    An Introduction to Data Base Design provides an understanding of how data base management systems (DBMS) work to be able to use any available commercial DBMS intelligently. This book presents the principle of independence of physical and local organization. Organized into seven chapters, this book begins with an overview of normal form theory. This text then describes the three types of DBMS. Other chapters consider the difficulties in processing queries where the names of the files are not mentioned. This book discusses as well how to group data hierarchically, how to use a preorder tree traversal to represent the data, and how to convert a network organization to a hierarchical one. The final chapter deals with four essential issues in data base theory, namely, recovery, security, integrity, and concurrency. This book is a valuable resource for computer science students in the junior or senior year, and people in industry who are doing technical work using data bases.
  • Identification, Equivalent Models, and Computer Algebra

    Statistical Modeling and Decision Science
    • 1st Edition
    • Paul A. Bekker + 2 more
    • Gerald J. Lieberman + 1 more
    • English
    Identification, Equivalent Models, and Computer Algebra provides information pertinent to computer algebra. This book presents a brief discussion of the commutation matrix, an operator that plays a role when derivatives have to be evaluated involving symmetric matrices. Organized into eight chapters, this book begins with an overview of the link between identification of a parameter and the existence of a consistent estimator, and the link between identification of a model and the rank of a Jacobian matrix. This text then describes an algorithm for the determination of the exact rank of a parametrized matrix. Other chapters consider the identification in the simultaneous equation model. This book discusses as well the identification assessment in confirmatory factor analysis, a problem related to the simultaneous equations model. The final chapter deals with various computer programs that the enclosed diskette contains. This book is a valuable resource for readers who are interested in computer algebra.
  • Rewriting Techniques

    Resolution of Equations in Algebraic Structures
    • 1st Edition
    • Hassan Aït-Kaci + 1 more
    • English
    Resolution of Equations in Algebraic Structures: Volume 2, Rewriting Techniques is a collection of papers dealing with the construction of canonical rewrite systems, constraint handling in logic programming, and completion algorithms for conditional rewriting systems. Papers discuss the Knuth-Bendix completion method which constructs a complete system for a given set of equations, including extensions of the method dealing with termination, unfailing completion, and associative-communic... completion. One paper examines the various practical techniques that can be used to extend Prolog as a constraint solver, particularly on techniques that solve boolean equations, imposing inequality, disequality, and finitary domain constraints on variables. Another paper presents a sufficient condition for confluence of conditional rewriting, and a practical unification algorithm modulo conditional rewriting through the notion of conditional narrowing. One paper analyzes the possibility of using completion for inductive proofs in the initial algebra of an equational variety without explicit induction. Another papers discusses solving systems of word equations in the free monoid and the free group, where a solution is defined as a word homomorphism. Programmers, mathematicians, students, and instructors involved in computer science and computer logic will find this collection valuable.
  • Foundations of Constraint Satisfaction

    Computation in Cognitive Science
    • 1st Edition
    • Edward Tsang
    • English
    Foundations of Constraint Satisfaction discusses the foundations of constraint satisfaction and presents algorithms for solving constraint satisfaction problems (CSPs). Most of the algorithms described in this book are explained in pseudo code, and sometimes illustrated with Prolog codes (to illustrate how the algorithms could be implemented). Comprised of 10 chapters, this volume begins by defining the standard CSP and the important concepts around it and presenting examples and applications of CSPs. The reader is then introduced to the main features of CSPs and CSP solving techniques (problem reduction, searching, and solution synthesis); some of the most important concepts related to CSP solving; and problem reduction algorithms. Subsequent chapters deal with basic control strategies of searching which are relevant to CSP solving; the significance of ordering the variables, values and compatibility checking in searching; specialized search techniques which gain their efficiency by exploiting problem-specific features; and stochastic search approaches (including hill climbing and connectionist approaches) for CSP solving. The book also considers how solutions can be synthesized rather than searched for before concluding with an analysis of optimization in CSPs. This monograph can be used as a reference by artificial intelligence (AI) researchers or as a textbook by students on advanced AI courses, and should also help knowledge engineers apply existing techniques to solve CSPs or problems which embed CSPs.
  • Weak Convergence of Measures

    Probability and Mathematical Statistics: A Series of Monographs and Textbooks
    • 1st Edition
    • Harald Bergström
    • Z. W. Birnbaum + 1 more
    • English
    Weak Convergence of Measures provides information pertinent to the fundamental aspects of weak convergence in probability theory. This book covers a variety of topics, including random variables, Hilbert spaces, Gaussian transforms, probability spaces, and random variables. Organized into six chapters, this book begins with an overview of elementary fundamental notions, including sets, different classes of sets, different topological spaces, and different classes of functions and measures. This text then provides the connection between functionals and measures by providing a detailed introduction of the abstract integral as a bounded, linear functional. Other chapters consider weak convergence of sequences of measures, such as convergence of sequences of bounded, linear functionals. This book discusses as well the weak convergence in the C- and D-spaces, which is reduced to limit problems. The final chapter deals with weak convergence in separable Hilbert spaces. This book is a valuable resource for mathematicians.
  • Computational Geometry

    Curve and Surface Modeling
    • 1st Edition
    • Su Bu-qing + 1 more
    • English
    Computational Geometry: Curve and Surface Modeling provides information pertinent to the fundamental aspects of computational geometry. This book discusses the geometric properties of parametric polynomial curves by using the theory of affine invariants for algebraic curves. Organized into eight chapters, this book begins with an overview of the objects studies in computational geometry, namely surfaces and curves. This text then explores the developments in the theory and application of spline functions, which began with cubic spline functions. Other chapters consider the mechanical background of the cubic spline functions, which is the wooden spline with small deflection. This book discusses as well that in mathematical lofting the information of a geometric shape is given by a set of data points, while in geometric design other ways of representations are available. The final chapter deals with the concepts in the theory of algebraic curves. This book is a valuable resource for mathematicians.
  • Quantitative Approximation

    Proceedings of a Symposium on Quantitative Approximation Held in Bonn, West Germany, August 20-24, 1979
    • 1st Edition
    • Ronald A. Devore + 1 more
    • English
    Quantitative Approximation provides information pertinent to nonlinear approximation, including rational approximation and optimal knot spline approximation. This book discusses spline approximation with the most emphasis on multivariate and knot independent questions. Organized into 26 chapters, this book begins with an overview of the inequality for the sharp function in terms of the maximal rearrangement. This text then examines the best co-approximation in a Hilbert space wherein the existence ad uniqueness sets are the closed flats. Other chapters consider the inverse of the coefficient matrix for the system satisfied by the B-spline coefficients of the cubic spline interpolant at knots. This book discusses as well the relationship between the structural properties of a function and its degree of approximation by rational functions. The final chapter deals with the problem of existence of continuous selections for metric projections and provides a solution for this problem. This book is a valuable resource for mathematicians.
  • Nonlinear Differential Equations

    Invariance, Stability, and Bifurcation
    • 1st Edition
    • Piero de Mottoni + 1 more
    • English
    Nonlinear Differential Equations: Invariance, Stability, and Bifurcation presents the developments in the qualitative theory of nonlinear differential equations. This book discusses the exchange of mathematical ideas in stability and bifurcation theory. Organized into 26 chapters, this book begins with an overview of the initial value problem for a nonlinear wave equation. This text then focuses on the interplay between stability exchange for a stationary solution and the appearance of bifurcating periodic orbits. Other chapters consider the development of methods for ascertaining stability and boundedness and explore the development of bifurcation and stability analysis in nonlinear models of applied sciences. This book discusses as well nonlinear hyperbolic equations in further contributions, featuring stability properties of periodic and almost periodic solutions. The reader is also introduced to the stability problem of the equilibrium of a chemical network. The final chapter deals with suitable spaces for studying functional equations. This book is a valuable resource for mathematicians.