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.

BooksJournals

    • The Nuts and Bolts of Proofs

      An Introduction to Mathematical Proofs
      • 5th Edition
      • Antonella Cupillari
      • English
      The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and how they work. The book offers techniques for both reading and writing proofs, discusses techniques in proving if/then statements by contrapositive and proofing by contradiction, includes the negation statement, and/or, examines various theorems, such as the if and only-if, equivalence theorems, existence theorems, and the uniqueness theorems. In addition, the use of counter examples, mathematical induction, composite statements including multiple hypothesis and multiple conclusions, and equality of numbers are also covered. The book also provides mathematical topics for practicing proof techniques. Included here are the Cartesian products, indexed families, functions, and relations. The last chapter of the book provides review exercises on various topics. Undergraduate students in engineering and physical science will find this book accessible as well as invaluable.

    • Algebraic Theory for True Concurrency

      • 1st Edition
      • Yong Wang
      • English
      Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within computer science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or partially ordered components to improve computation and execution speed. There are two primary approaches for executing concurrency: interleaving concurrency and true concurrency. The main representative of interleaving concurrency is bisimulation/rooted branching bisimulation equivalences which is also readily explored. This work eventually founded the comprehensive axiomatization modulo bisimulation equivalence -- ACP (Algebra of Communicating Processes).The other approach to concurrency is true concurrency. Research on true concurrency is active and includes many emerging applications. First, there are several truly concurrent bisimulation equivalences, including: pomset bisimulation equivalence, step bisimulation equivalence, history-preserving (hp-) bisimulation equivalence, and hereditary history-preserving (hhp-) bisimulation equivalence, the most well-known truly concurrent bisimulation equivalence.

    • Advancements in Bayesian Methods and Implementations

      • 1st Edition
      • Volume 47
      • English
      Advancements in Bayesian Methods and Implementation, Volume 47 in the Handbook of Statistics series, highlights new advances in the field, with this new volume presenting interesting chapters on a variety of timely topics, including Fisher Information, Cramer-Rao and Bayesian Paradigm, Compound beta binomial distribution functions, MCMC for GLMMS, Signal Processing and Bayesian, Mathematical theory of Bayesian statistics where all models are wrong, Machine Learning and Bayesian, Non-parametric Bayes, Bayesian testing, and Data Analysis with humans, Variational inference or Functional horseshoe, Generalized Bayes.

    • A Mathematical Approach to Special Relativity

      • 1st Edition
      • Ahmad Shariati
      • English
      A Mathematical Approach to Special Relativity introduces the mathematical formalisms of special and general relativity. Developed from the author’s experience teaching physics to students across all levels, the valuable resource introduces key concepts, building in complexity and using increasingly advanced mathematical tools as it progresses. Without assuming a background in calculus, the text begins with symmetry, before delving more deeply into Galilean relativity. Throughout, the book provides examples and useful "Guides to the Literature." This unique text emphasizes the experimental consequences and verifications of the underpinning theory in order to provide students with a solid foundation in this key area.

    • Environmental Data Analysis with MatLab or Python

      Principles, Applications, and Prospects
      • 3rd Edition
      • William Menke
      • English
      Environmental Data Analysis with MATLAB, Third Edition, is a new edition that expands fundamentally on the original with an expanded tutorial approach, more clear organization, new crib sheets, and problem sets providing a clear learning path for students and researchers working to analyze real data sets in the environmental sciences. The work teaches the basics of the underlying theory of data analysis and then reinforces that knowledge with carefully chosen, realistic scenarios, including case studies in each chapter. The new edition is expanded to include applications to Python, an open source software environment. Significant content in Environmental Data Analysis with MATLAB, Third Edition is devoted to teaching how the programs can be effectively used in an environmental data analysis setting. This new edition offers chapters that can both be used as self-contained resources or as a step-by-step guide for students, and is supplemented with data and scripts to demonstrate relevant use cases.

    • Geometry and Statistics

      • 1st Edition
      • Volume 46
      • English
      Geometry and Statistics, Volume 46 in the Handbook of Statistics series, highlights new advances in the field, with this new volume presenting interesting chapters written by an international board of authors.

    • Simulation

      • 6th Edition
      • Sheldon M. Ross
      • English
      Simulation, Sixth Edition continues to introduce aspiring and practicing actuaries, engineers, computer scientists and others to the practical aspects of constructing computerized simulation studies to analyze and interpret real phenomena. Readers will learn to apply the results of these analyses to problems in a wide variety of fields to obtain effective, accurate solutions and make predictions. By explaining how a computer can be used to generate random numbers and how to use these random numbers to generate the behavior of a stochastic model over time, this book presents the statistics needed to analyze simulated data and validate simulation models.

    • Discrete Mathematics

      Essentials and Applications
      • 1st Edition
      • Ali Grami
      • English
      Discrete Mathematics: Essentials and Applications offers a comprehensive survey of the area, particularly concentrating on the basic principles and applications of Discrete Mathematics. This up-to-date text provides proofs of significance, keeping the focus on numerous relevant examples and many pertinent applications. Written in a simple and clear tone, the title features insightful descriptions and intuitive explanations of all complex concepts and ensures a thorough understanding of the subject matter.

    • Edge/Fog Computing Paradigm: The Concept, Platforms and Applications.

      • 1st Edition
      • Volume 127
      • English
      Advances in Computers, Volume 127 presents innovations in computer hardware, software, theory, design and applications, with this updated volume including new chapters on Edge AI, Edge Computing, Edge Analytics, Edge Data Analytics, Edge Native Applications, Edge Platforms, Edge Computing, IoT, Internet of Things, etc.

    • Advanced Differential Equations

      • 1st Edition
      • Youssef N. Raffoul
      • English
      Advanced Differential Equations provides coverage of high-level topics in ordinary differential equations and dynamical systems. The book delivers difficult material in an accessible manner, utilizing easier, friendlier notations and multiple examples. Sections focus on standard topics such as existence and uniqueness for scalar and systems of differential equations, the dynamics of systems, including stability, with examples and an examination of the eigenvalues of an accompanying linear matrix, as well as coverage of existing literature. From the eigenvalues' approach, to coverage of the Lyapunov direct method, this book readily supports the study of stable and unstable manifolds and bifurcations. Additional sections cover the study of delay differential equations, extending from ordinary differential equations through the extension of Lyapunov functions to Lyapunov functionals. In this final section, the text explores fixed point theory, neutral differential equations, and neutral Volterra integro-differential equations.

Related subjects

Mathematics and applied mathematics

Statistics and probability