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

BooksJournals

    • Handbook of Mathematics

      • 1st Edition
      • July 10, 2014
      • L. Kuipers + 1 more
      • English
      • Paperback
        9 7 8 1 4 8 3 1 1 6 8 2 2
      • eBook
        9 7 8 1 4 8 3 1 4 9 2 4 0
      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.

    • The Theory of Finitely Generated Commutative Semigroups

      • 1st Edition
      • July 10, 2014
      • L. Rédei
      • I. N. Sneddon + 2 more
      • English
      • Paperback
        9 7 8 1 4 8 3 1 2 3 5 2 3
      • Hardback
        9 7 8 0 0 8 0 1 0 5 2 0 8
      • eBook
        9 7 8 1 4 8 3 1 5 5 9 4 4
      The Theory of Finitely Generated Commutative Semigroups describes a theory of finitely generated commutative semigroups which is founded essentially on a single "fundamental theorem" and exhibits resemblance in many respects to the algebraic theory of numbers. The theory primarily involves the investigation of the F-congruences (F is the the free semimodule of the rank n, where n is a given natural number). As applications, several important special cases are given. This volume is comprised of five chapters and begins with preliminaries on finitely generated commutative semigroups before turning to a discussion of the problem of determining all the F-congruences as the fundamental problem of the proposed theory. The next chapter lays down the foundations of the theory by defining the kernel functions and the fundamental theorem. The elementary properties of the kernel functions are then considered, along with the ideal theory of free semimodules of finite rank. The final chapter deals with the isomorphism problem of the theory, which is solved by reducing it to the determination of the equivalent kernel functions. This book should be of interest to mathematicians as well as students of pure and applied mathematics.

    • A Many-Sorted Calculus Based on Resolution and Paramodulation

      • 1st Edition
      • July 10, 2014
      • Christoph Walther
      • English
      • Paperback
        9 7 8 0 2 7 3 0 8 7 1 8 2
      • eBook
        9 7 8 1 4 8 3 2 5 8 9 3 5
      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.

    • Calculus of Variations

      • 1st Edition
      • Volume 19
      • July 10, 2014
      • L. E. Elsgolc
      • I. N. Sneddon + 2 more
      • English
      • eBook
        9 7 8 1 4 8 3 1 3 7 5 6 8
      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.

    • Integration of Equations of Parabolic Type by the Method of Nets

      • 1st Edition
      • July 10, 2014
      • V. K. Saul'Yev
      • I. N. Sneddon + 2 more
      • English
      • eBook
        9 7 8 1 4 8 3 1 5 5 3 2 6
      International Series of Monographs in Pure and Applied Mathematics, Volume 54: Integration of Equations of Parabolic Type by the Method of Nets deals with solving parabolic partial differential equations using the method of nets. The first part of this volume focuses on the construction of net equations, with emphasis on the stability and accuracy of the approximating net equations. The method of nets or method of finite differences (used to define the corresponding numerical method in ordinary differential equations) is one of many different approximate methods of integration of partial differential equations. The other methods, and some based on newer equations, are described. By analyzing these newer methods, older and existing methods are evaluated. For example, the asymmetric net equations; the alternating method of using certain equations; and the method of mean arithmetic and multi-nodal symmetric method point out that when the accuracy needs to be high, the requirements for stability become more defined. The methods discussed are very theoretical and methodological. The second part of the book concerns the practical numerical solution of the equations posed in Part I. Emphasis is on the commonly used iterative methods that are programmable on computers. This book is suitable for statisticians and numerical analysts and is also recommended for scientists and engineers with general mathematical knowledge.

    • Interpretation of Visual Motion

      • 1st Edition
      • July 10, 2014
      • Muralidhara Subbarao
      • English
      • Paperback
        9 7 8 0 2 7 3 0 8 7 9 2 2
      • eBook
        9 7 8 1 4 8 3 2 5 8 9 2 8
      Interpretation of Visual Motion: A Computational Study provides an information processing point of view to the phenomenon of visual motion. This book discusses the computational theory formulated for recovering the scene from monocular visual motion, determining the local geometry and rigid body motion of surfaces from spatio-temporal parameters of visual motion. This compilation also provides a theoretical and computational framework for future research on visual motion, both in human vision and machine vision areas. Other topics include the computation of image flow from intensity derivatives, instantaneous image flow due to rigid motion, time and space-time derivatives of image flow, and estimation of maximum absolute error. This publication is recommended for professionals and non-specialists intending to acquire knowledge of visual motion.

    • Analytical Quadrics

      • 1st Edition
      • Volume 14
      • July 10, 2014
      • Barry Spain
      • I. N. Sneddon + 2 more
      • English
      • Paperback
        9 7 8 0 0 8 0 1 3 6 2 6 4
      • eBook
        9 7 8 1 4 8 3 1 3 8 2 9 9
      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.

    • Principles of Semantic Networks

      • 1st Edition
      • July 10, 2014
      • John F. Sowa
      • English
      • Paperback
        9 7 8 1 4 8 3 2 0 7 7 1 1
      • eBook
        9 7 8 1 4 8 3 2 2 1 1 4 4
      Principles of Semantic Networks: Explorations in the Representation of Knowledge provides information pertinent to the theory and applications of semantic networks. This book deals with issues in knowledge representation, which discusses theoretical topics independent of particular implementations. Organized into three parts encompassing 19 chapters, this book begins with an overview of semantic network structure for representing knowledge as a pattern of interconnected nodes and arcs. This text then analyzes the concepts of subsumption and taxonomy and synthesizes a framework that integrates many previous approaches and goes beyond them to provide an account of abstract and partially defines concepts. Other chapters consider formal analyses, which treat the methods of reasoning with semantic networks and their computational complexity. This book discusses as well encoding linguistic knowledge. The final chapter deals with a formal approach to knowledge representation that builds on ideas originating outside the artificial intelligence literature in research on foundations for programming languages. This book is a valuable resource for mathematicians.

    • Lectures in General Algebra

      • 1st Edition
      • July 10, 2014
      • A. G. Kurosh
      • I. N. Sneddon + 2 more
      • English
      • Paperback
        9 7 8 1 4 8 3 1 1 7 1 5 7
      • eBook
        9 7 8 1 4 8 3 1 4 9 5 7 8
      Lectures in General Algebra is a translation from the Russian and is based on lectures on specialized courses in general algebra at Moscow University. The book starts with the basics of algebra. The text briefly describes the theory of sets, binary relations, equivalence relations, partial ordering, minimum condition, and theorems equivalent to the axiom of choice. The text gives the definition of binary algebraic operation and the concepts of groups, groupoids, and semigroups. The book examines the parallelism between the theory of groups and the theory of rings; such examinations show the convenience of constructing a single theory from the results of group experiments and ring experiments which are known to follow simple corollaries. The text also presents algebraic structures that are not of binary nature. From this parallelism arise other concepts, such as that of the lattices, complete lattices, and modular lattices. The book then proves the Schmidt-Ore theorem, and also describes linear algebra, as well as the Birkhoff-Witt theorem on Lie algebras. The text also addresses ordered groups, the Archimedean groups and rings, and Albert's theorem on normed algebras. This book can prove useful for algebra students and for professors of algebra and advanced mathematicians.

    • Elements of Analytical Dynamics

      • 1st Edition
      • July 10, 2014
      • Rudolph Kurth
      • I. N. Sneddon + 1 more
      • English
      • Paperback
        9 7 8 1 4 8 3 1 1 9 3 0 4
      • eBook
        9 7 8 1 4 8 3 1 5 1 7 2 4
      Elements of Analytical Dynamics deals with dynamics, which studies the relationship between motion of material bodies and the forces acting on them. This book is a compilation of lectures given by the author at the Georgia and Institute of Technology and formed a part of a course in Topological Dynamics. The book begins by discussing the notions of space and time and their basic properties. It then discusses the Hamilton-Jacobi theory and Hamilton's principle and first integrals. The text concludes with a discussion on Jacobi's geometric interpretation of conservative systems. This book will be of direct use to graduate students of Mathematics with minimal background in Theoretical Mechanics.

Related subjects

Mathematics and applied mathematics

Statistics and probability