Skip to main content

Books in Physical sciences and engineering

    • Regular Figures

      • 1st Edition
      • L. Fejes Tóth
      • I. N. Sneddon + 2 more
      • English
      Regular Figures concerns the systematology and genetics of regular figures. The first part of the book deals with the classical theory of the regular figures. This topic includes description of plane ornaments, spherical arrangements, hyperbolic tessellations, polyhedral, and regular polytopes. The problem of geometry of the sphere and the two-dimensional hyperbolic space are considered. Classical theory is explained as describing all possible symmetrical groupings in different spaces of constant curvature. The second part deals with the genetics of the regular figures and the inequalities found in polygons; also presented as examples are the packing and covering problems of a given circle using the most or least number of discs. The problem of distributing n points on the sphere for these points to be placed as far as possible from each other is also discussed. The theories and problems discussed are then applied to pollen-grains, which are transported by animals or the wind. A closer look into the exterior composition of the grain shows many characteristics of uniform distribution of orifices, as well as irregular distribution. A formula that calculates such packing density is then explained. More advanced problems such as the genetics of the protean regular figures of higher spaces are also discussed. The book is ideal for physicists, mathematicians, architects, and students and professors in geometry.
    • Lambda-Matrices and Vibrating Systems

      • 1st Edition
      • Peter Lancaster
      • I. N. Sneddon + 2 more
      • English
      Lambda-Matrices and Vibrating Systems presents aspects and solutions to problems concerned with linear vibrating systems with a finite degrees of freedom and the theory of matrices. The book discusses some parts of the theory of matrices that will account for the solutions of the problems. The text starts with an outline of matrix theory, and some theorems are proved. The Jordan canonical form is also applied to understand the structure of square matrices. Classical theorems are discussed further by applying the Jordan canonical form, the Rayleigh quotient, and simple matrix pencils with latent vectors in common. The book then expounds on Lambda matrices and on some numerical methods for Lambda matrices. These methods explain developments of known approximations and rates of convergence. The text then addresses general solutions for simultaneous ordinary differential equations with constant coefficients. The results of some of the studies are then applied to the theory of vibration by applying the Lagrange method for formulating equations of motion, after the formula establishing the energies and dissipation functions are completed. The book describes the theory of resonance testing using the stationary phase method, where the test is carried out by applying certain forces to the structure being studied, and the amplitude of response in the structure is measured. The book also discusses other difficult problems. The text can be used by physicists, engineers, mathematicians, and designers of industrial equipment that incorporates motion in the design.
    • Residuation Theory

      • 1st Edition
      • T. S. Blyth + 1 more
      • I. N. Sneddon + 1 more
      • English
      Residuation Theory aims to contribute to literature in the field of ordered algebraic structures, especially on the subject of residual mappings. The book is divided into three chapters. Chapter 1 focuses on ordered sets; directed sets; semilattices; lattices; and complete lattices. Chapter 2 tackles Baer rings; Baer semigroups; Foulis semigroups; residual mappings; the notion of involution; and Boolean algebras. Chapter 3 covers residuated groupoids and semigroups; group homomorphic and isotone homomorphic Boolean images of ordered semigroups; Dubreil-Jacotin and Brouwer semigroups; and lolimorphisms. The book is a self-contained and unified introduction to residual mappings and its related concepts. It is applicable as a textbook and reference book for mathematicians who plan to learn more about the subject.
    • Measure and Integral

      • 1st Edition
      • Konrad Jacobs
      • Z. W. Birnbaum + 1 more
      • English
      Probability and Mathematical Statistics: Measure and Integral provides information pertinent to the general mathematical notions and notations. This book discusses how the machinery of ?-extension works and how ?-content is derived from ?-measure. Organized into 16 chapters, this book begins with an overview of the classical Hahn–Banach theorem and introduces the Banach limits in the form of a major exercise. This text then presents the Daniell extension theory for positive ?-measures. Other chapters consider the transform of ?-contents and ?-measures by measurable mappings and kernels. This text is also devoted to a thorough study of the vector lattice of signed contents. This book discusses as well an abstract regularity theory and applied to the standard cases of compact, locally compact, and Polish spaces. The final chapter deals with the rudiments of the Krein–Milman theorem, along with some of their applications. This book is a valuable resource for graduate students.
    • A Many-Sorted Calculus Based on Resolution and Paramodulation

      • 1st Edition
      • Christoph Walther
      • English
      A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving. This book considers some first-order calculus that defines how theorems from given hypotheses by pure syntactic reasoning are obtained, shifting all the semantic and implicit argumentation to the syntactic and explicit level of formal first-order reasoning. This text discusses the efficiency of many-sorted reasoning, formal preliminaries for the RP- and ?RP-calculus, and many-sorted term rewriting and unification. The completeness and soundness of the ?RP-calculus, sort theorem, and automated theorem prover for the ?RP-calculus are also elaborated. This publication is a good source for students and researchers interested in many-sorted calculus.
    • Handbook of Mathematics

      • 1st Edition
      • L. Kuipers + 1 more
      • English
      International Series of Monographs in Pure and Applied Mathematics, Volume 99: Handbook of Mathematics provides the fundamental mathematical knowledge needed for scientific and technological research. The book starts with the history of mathematics and the number systems. The text then progresses to discussions of linear algebra and analytical geometry including polar theories of conic sections and quadratic surfaces. The book then explains differential and integral calculus, covering topics, such as algebra of limits, the concept of continuity, the theorem of continuous functions (with examples), Rolle's theorem, and the logarithmic function. The book also discusses extensively the functions of two variables in partial differentiation and multiple integrals. The book then describes the theory of functions, ordinary differential functions, special functions and the topic of sequences and series. The book explains vector analysis (which includes dyads and tensors), the use of numerical analysis, probability statistics, and the Laplace transform theory. Physicists, engineers, chemists, biologists, and statisticians will find this book useful.
    • Calculus of Variations

      • 1st Edition
      • Volume 19
      • L. E. Elsgolc
      • I. N. Sneddon + 2 more
      • English
      Calculus of Variations aims to provide an understanding of the basic notions and standard methods of the calculus of variations, including the direct methods of solution of the variational problems. The wide variety of applications of variational methods to different fields of mechanics and technology has made it essential for engineers to learn the fundamentals of the calculus of variations. The book begins with a discussion of the method of variation in problems with fixed boundaries. Subsequent chapters cover variational problems with movable boundaries and some other problems; sufficiency conditions for an extremum; variational problems of constrained extrema; and direct methods of solving variational problems. Each chapter is illustrated by a large number of problems some of which are taken from existing textbooks. The solutions to the problems in each chapter are provided at the end of the book.
    • Design Problem Solving

      Knowledge Structures and Control Strategies
      • 1st Edition
      • David C. Brown + 1 more
      • English
      Design Problem Solving: Knowledge Structures and Control Strategies describes the application of the generic task methodology to the problem of routine design. This book discusses the generic task methodology and what constitutes the essence of the Al approach to problem solving, including the analysis of design as an information processing activity. The basic design problem solving framework, DSPL language, and AIR-CYL Air cylinder design system are also elaborated. Other topics include the high level languages based on generic tasks, structure of a Class 3 design problem solver, and failure handling in routine design. The conceptual structure for the air cylinder and improvements to DSPL system support are likewise covered in this text. This publication is beneficial to students and specialists concerned with solving design problems.
    • Lattice Path Counting and Applications

      • 1st Edition
      • Gopal Mohanty
      • Z. W. Birnbaum + 1 more
      • English
      Probability and Mathematical Statistics: A Series of Monographs and Textbooks: Lattice Path Counting and Applications focuses on the principles, methodologies, and approaches involved in lattice path counting and applications, including vector representation, random walks, and rank order statistics. The book first underscores the simple and general boundaries of path counting. Topics include types of diagonal steps and a correspondence, paths within general boundaries, higher dimensional paths, vector representation, compositions, and domination, recurrence and generating function method, and reflection principle. The text then examines invariance and fluctuation and random walk and rank order statistics. Discussions focus on random walks, rank order statistics, Chung-Feller theorems, and Sparre Andersen's equivalence. The manuscript takes a look at convolution identities and inverse relations and discrete distributions, queues, trees, and search codes, as well as discrete distributions and a correlated random walk, trees and search codes, convolution identities, and orthogonal relations and inversion formulas. The text is a valuable reference for mathematicians and researchers interested in in lattice path counting and applications.
    • Analytical Quadrics

      • 1st Edition
      • Volume 14
      • Barry Spain
      • I. N. Sneddon + 2 more
      • English
      Analytical Quadrics focuses on the analytical geometry of three dimensions. The book first discusses the theory of the plane, sphere, cone, cylinder, straight line, and central quadrics in their standard forms. The idea of the plane at infinity is introduced through the homogenous Cartesian coordinates and applied to the nature of the intersection of three planes and to the circular sections of quadrics. The text also focuses on paraboloid, including polar properties, center of a section, axes of plane section, and generators of hyperbolic paraboloid. The book also touches on homogenous coordinates. Concerns include intersection of three planes; circular sections of central quadric; straight line; and circle at infinity. The book also discusses general quadric and classification and reduction of quadric. Discussions also focus on linear systems of quadrics and plane-coordinates. The text is a valuable reference for readers interested in the analytical geometry of three dimensions.