Skip to main content
Elsevier
View Cart
openUserAccount

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
131-140 of 2429 results in All results

A Contemporary Study of Iterative Methods

  • 1st Edition
  • February 13, 2018
  • A. Alberto Magrenan + 1 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 9 2 1 4 - 9
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 9 4 9 3 - 8
A Contemporary Study of Iterative Methods: Convergence, Dynamics and Applications evaluates and compares advances in iterative techniques, also discussing their numerous applications in applied mathematics, engineering, mathematical economics, mathematical biology and other applied sciences. It uses the popular iteration technique in generating the approximate solutions of complex nonlinear equations that is suitable for aiding in the solution of advanced problems in engineering, mathematical economics, mathematical biology and other applied sciences. Iteration methods are also applied for solving optimization problems. In such cases, the iteration sequences converge to an optimal solution of the problem at hand.

Nonlinear Differential Problems with Smooth and Nonsmooth Constraints

  • 1st Edition
  • February 5, 2018
  • Dumitru Motreanu
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 1 3 3 8 6 - 6
  • eBook
    9 7 8 - 0 - 1 2 - 8 1 3 3 9 3 - 4
Nonlinear Differential Problems with Smooth and Nonsmooth Constraints systematically evaluates how to solve boundary value problems with smooth and nonsmooth constraints. Primarily covering nonlinear elliptic eigenvalue problems and quasilinear elliptic problems using techniques amalgamated from a range of sophisticated nonlinear analysis domains, the work is suitable for PhD and other early career researchers seeking solutions to nonlinear differential equations. Although an advanced work, the book is self-contained, requiring only graduate-level knowledge of functional analysis and topology. Whenever suitable, open problems are stated and partial solutions proposed. The work is accompanied by end-of-chapter problems and carefully curated references.

Fundamentals of Advanced Mathematics V2

  • 1st Edition
  • January 17, 2018
  • Henri Bourles
  • English
  • Hardback
    9 7 8 - 1 - 7 8 5 4 8 - 2 4 9 - 6
  • eBook
    9 7 8 - 0 - 0 8 - 1 0 2 3 8 5 - 3
The three volumes of this series of books, of which this is the second, put forward the mathematical elements that make up the foundations of a number of contemporary scientific methods: modern theory on systems, physics and engineering. Whereas the first volume focused on the formal conditions for systems of linear equations (in particular of linear differential equations) to have solutions, this book presents the approaches to finding solutions to polynomial equations and to systems of linear differential equations with varying coefficients. Fundamentals of Advanced Mathematics, Volume 2: Field Extensions, Topology and Topological Vector Spaces, Functional Spaces, and Sheaves begins with the classical Galois theory and the theory of transcendental field extensions. Next, the differential side of these theories is treated, including the differential Galois theory (Picard-Vessiot theory of systems of linear differential equations with time-varying coefficients) and differentially transcendental field extensions. The treatment of analysis includes topology (using both filters and nets), topological vector spaces (using the notion of disked space, which simplifies the theory of duality), and the radon measure (assuming that the usual theory of measure and integration is known). In addition, the theory of sheaves is developed with application to the theory of distributions and the theory of hyperfunctions (assuming that the usual theory of functions of the complex variable is known). This volume is the prerequisite to the study of linear systems with time-varying coefficients from the point-of-view of algebraic analysis and the algebraic theory of nonlinear systems.

Ulam Stability of Operators

  • 1st Edition
  • January 4, 2018
  • Janusz Brzdek + 3 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 9 8 2 9 - 5
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 9 8 3 0 - 1
Ulam Stability of Operators presents a modern, unified, and systematic approach to the field. Focusing on the stability of functional equations across single variable, difference equations, differential equations, and integral equations, the book collects, compares, unifies, complements, generalizes, and updates key results. Whenever suitable, open problems are stated in corresponding areas. The book is of interest to researchers in operator theory, difference and functional equations and inequalities, differential and integral equations.

Beyond Pseudo-Rotations in Pseudo-Euclidean Spaces

  • 1st Edition
  • January 4, 2018
  • Abraham Ungar
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 1 1 7 7 3 - 6
  • eBook
    9 7 8 - 0 - 1 2 - 8 1 1 7 7 4 - 3
Beyond Pseudo-Rotations in Pseudo-Euclidean Spaces presents for the first time a unified study of the Lorentz transformation group SO(m, n) of signature (m, n), m, n ∈ N, which is fully analogous to the Lorentz group SO(1, 3) of Einstein’s special theory of relativity. It is based on a novel parametric realization of pseudo-rotations by a vector-like parameter with two orientation parameters. The book is of interest to specialized researchers in the areas of algebra, geometry and mathematical physics, containing new results that suggest further exploration in these areas.

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations

  • 1st Edition
  • January 2, 2018
  • Gemma Robles + 1 more
  • English
  • Paperback
    9 7 8 - 0 - 0 8 - 1 0 0 7 5 1 - 8
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 4 5 0 9 - 1
Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points.

Statistical Inference in Financial and Insurance Mathematics with R

  • 1st Edition
  • November 22, 2017
  • Alexandre Brouste
  • English
  • Hardback
    9 7 8 - 1 - 7 8 5 4 8 - 0 8 3 - 6
  • eBook
    9 7 8 - 0 - 0 8 - 1 0 1 2 6 1 - 1
Finance and insurance companies are facing a wide range of parametric statistical problems. Statistical experiments generated by a sample of independent and identically distributed random variables are frequent and well understood, especially those consisting of probability measures of an exponential type. However, the aforementioned applications also offer non-classical experiments implying observation samples of independent but not identically distributed random variables or even dependent random variables. Three examples of such experiments are treated in this book. First, the Generalized Linear Models are studied. They extend the standard regression model to non-Gaussian distributions. Statistical experiments with Markov chains are considered next. Finally, various statistical experiments generated by fractional Gaussian noise are also described. In this book, asymptotic properties of several sequences of estimators are detailed. The notion of asymptotical efficiency is discussed for the different statistical experiments considered in order to give the proper sense of estimation risk. Eighty examples and computations with R software are given throughout the text.

Computer Arithmetic and Formal Proofs

  • 1st Edition
  • November 16, 2017
  • Sylvie Boldo + 1 more
  • English
  • Hardback
    9 7 8 - 1 - 7 8 5 4 8 - 1 1 2 - 3
  • eBook
    9 7 8 - 0 - 0 8 - 1 0 1 1 7 0 - 6
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs. This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.

Occupancy Estimation and Modeling

  • 2nd Edition
  • November 13, 2017
  • Darryl I. MacKenzie + 5 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 1 4 6 9 1 - 0
  • eBook
    9 7 8 - 0 - 1 2 - 4 0 7 2 4 5 - 9
Occupancy Estimation and Modeling: Inferring Patterns and Dynamics of Species Occurrence, Second Edition, provides a synthesis of model-based approaches for analyzing presence-absence data, allowing for imperfect detection. Beginning from the relatively simple case of estimating the proportion of area or sampling units occupied at the time of surveying, the authors describe a wide variety of extensions that have been developed since the early 2000s. This provides an improved insight about species and community ecology, including, detection heterogeneity; correlated detections; spatial autocorrelation; multiple states or classes of occupancy; changes in occupancy over time; species co-occurrence; community-level modeling, and more. Occupancy Estimation and Modeling: Inferring Patterns and Dynamics of Species Occurrence, Second Edition has been greatly expanded and detail is provided regarding the estimation methods and examples of their application are given. Important study design recommendations are also covered to give a well rounded view of modeling.

Mathematical Optimization Terminology

  • 1st Edition
  • November 10, 2017
  • Andre A. Keller
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 5 1 6 6 - 5
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 5 2 9 5 - 2
Mathematical Optimization Terminology: A Comprehensive Glossary of Terms is a practical book with the essential formulations, illustrative examples, real-world applications and main references on the topic. This book helps readers gain a more practical understanding of optimization, enabling them to apply it to their algorithms. This book also addresses the need for a practical publication that introduces these concepts and techniques.

Related subjects

Mathematics and applied mathematics

Statistics and probability