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.

  • Structural Analysis Systems

    Software — Hardware Capability — Compatibility — Applications
    • 1st Edition
    • A. Niku-Lari
    • English
    Structural Analysis Systems: Software—Hardware Capability—Compatibi... Volume 2 is a practical guidebook on structural analysis systems and their applications. It provides detailed information about a specific software, its postprocessor capabilities and limitations, computer-aided design connection, and compatibility with the most common computers. Several practical examples from industry with computer and user cost are given. This volume consists of 17 chapters and begins with a description of AFAG, a dual finite element analysis program based on the flexibility method. The discussion then turns to the AQUADYN system, designed primarily to reduce the hydrodynamics problem to a linear integral equation for large floating or immersed structures. The following chapters focus on other structural analysis computer programs such as BOSOR4 and BOSOR5, INFESA, MEF/MOSAIC, RCAFAG, and STRUGEN. Some general purpose and special purpose finite element programs used for stress analysis of composite materials are also considered. This book will be a useful resource for practitioners in scientific and industrial disciplines such as mechanical or civil engineering, informatics, applied mathematics, and computer science.

  • Group Representations

    • 1st Edition
    • Volume 4
    • Gregory Karpilovsky
    • English
    This volume is divided into three parts. Part I provides the foundations of the theory of modular representations. Special attention is drawn to the Brauer-Swan theory and the theory of Brauer characters. A detailed investigation of quadratic, symplectic and symmetric modules is also provided. Part II is devoted entirely to the Green theory: vertices and sources, the Green correspondence, the Green ring, etc. In Part III, permutation modules are investigated with an emphasis on the study of p-permutation modules and Burnside rings.The material is developed with sufficient attention to detail so that it can easily be read by the novice, although its chief appeal will be to specialists. A number of the results presented in this volume have almost certainly never been published before.

  • A Collection of Problems in Analytical Geometry

    Three-Dimensional Analytical Geometry
    • 1st Edition
    • D. V. Kletenik
    • W. J. Langford + 1 more
    • English
    A Collection of Problems in Analytical Geometry, Part II: Three-Dimensional Analytical Geometry is a collection of problems dealing with analytical geometry in the field of theoretical mechanics. The book discusses rectangular Cartesian coordinates in three-dimensional space and the division of an interval in a given ratio. The sample questions concern problems dealing with isosceles triangles, vertices, and center of gravity of equal masses. The book defines the concept of a vector and then lists problems concerning the triangle law and the scalar product of two vectors. Other problems focus on the equations of a surface and a curve and on questions related to the intersection of three surfaces. The text lists other problems such as the equation of a plane, the direction-vector of a straight line, and miscellaneous problems pertaining to the equations of a plane, of a straight line, and of a sphere in a direction-vector. The selection is useful for professors in analytical geometry and for other courses in physic-mathematics and general engineering.

  • 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.

  • 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.

  • 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.

  • Solution of Equations and Systems of Equations

    Pure and Applied Mathematics: A Series of Monographs and Textbooks, Vol. 9
    • 2nd Edition
    • A. M. Ostrowski
    • Paul A. Smith + 1 more
    • English
    Solution of Equations and Systems of Equations, Second Edition deals with the Laguerre iteration, interpolating polynomials, method of steepest descent, and the theory of divided differences. The book reviews the formula for confluent divided differences, Newton's interpolation formula, general interpolation problems, and the triangular schemes for computing divided differences. The text explains the method of False Position (Regula Falsi) and cites examples of computation using the Regula Falsi. The book discusses iterations by monotonic iterating functions and analyzes the connection of the Regula Falsi with the theory of iteration. The text also explains the idea of the Newton-Raphson method and compares it with the Regula Falsi. The book also cites asymptotic behavior of errors in the Regula Falsi iteration, as well as the theorem on the error of the Taylor approximation to the root. The method of steepest descent or gradient method proposed by Cauchy ensures "global convergence" in very general conditions. This book is suitable for mathematicians, students, and professor of calculus, and advanced mathematics.

  • Treatise on Analysis

    • 1st Edition
    • J. Dieudonné
    • H. Bass + 2 more
    • English
    Treatise on Analysis, Volume 10–VIII provides information pertinent to the study of the most common boundary problems for partial differential equations. This book presents the study of Cauchy's problem in its most elementary form. Comprised of one chapter, this volume begins with an overview of Hilbert-von Neumann spectral theory and explores all possible boundary conditions related to spectral theory. This text then examines the link of Cauchy's problem with the behavior of the equation's characteristics. This book discusses as well the case of linear elliptic operators. The reader is also introduced to Sobolev spaces and some of their generalizations that provide an essential tool in the study of these elliptic problems, and their manipulation requires delicate upper bounds to obtain the best possible results. This book is a valuable resource for mathematicians.

  • Advanced Topics in the Theory of Dynamical Systems

    Notes and Reports in Mathematics in Science and Engineering, Vol. 6
    • 1st Edition
    • G. Fusco + 2 more
    • English
    Advanced Topics in the Theory of Dynamical Systems covers the proceedings of the international conference by the same title, held at Villa Madruzzo, Trento, Italy on June 1-6, 1987. The conference reviews research advances in the field of dynamical systems. This book is composed of 20 chapters that explore the theoretical aspects and problems arising from applications of these systems. Considerable chapters are devoted to finite dimensional systems, with special emphasis on the analysis of existence of periodic solutions to Hamiltonian systems. Other chapters deal with infinite dimensional systems and the developments of methods in the general approach to existence and qualitative analysis problems in the general theory, as well as in the study of particular systems concerning natural sciences. The final chapters discuss the properties of hyperbolic sets, equivalent period doubling, Cauchy problems, and quasiperiodic solitons for nonlinear Klein-Gordon equations. This book is of value to mathematicians, physicists, researchers, and advance students.

Related subjects