Skip to main content
Elsevier
View Cart
My account

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

    • Lectures on the Curry-Howard Isomorphism

      • 1st Edition
      • Volume 149
      • July 4, 2006
      • Morten Heine Sørensen + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 4 5 9 6 1
      • Hardback
        9 7 8 0 4 4 4 5 2 0 7 7 7
      • eBook
        9 7 8 0 0 8 0 4 7 8 9 2 0
      The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc.The isomorphism has many aspects, even at the syntactic level:formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc.But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transformsproofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq).This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.Key features- The Curry-Howard Isomorphism treated as common theme- Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics- Thorough study of the connection between calculi and logics- Elaborate study of classical logics and control operators- Account of dialogue games for classical and intuitionistic logic- Theoretical foundations of computer-assisted reasoning

    • Philosophy of Physics

      • 1st Edition
      • October 20, 2006
      • English
      • eBook
        9 7 8 0 0 8 0 4 6 6 6 5 1
      The ambition of this volume is twofold: to provide a comprehensive overview of the field and to serve as an indispensable reference work for anyone who wants to work in it. For example, any philosopher who hopes to make a contribution to the topic of the classical-quantum correspondence will have to begin by consulting Klaas Landsman’s chapter. The organization of this volume, as well as the choice of topics, is based on the conviction that the important problems in the philosophy of physics arise from studying the foundations of the fundamental theories of physics. It follows that there is no sharp line to be drawn between philosophy of physics and physics itself. Some of the best work in the philosophy of physics is being done by physicists, as witnessed by the fact that several of the contributors to the volume are theoretical physicists: viz., Ellis, Emch, Harvey, Landsman, Rovelli, ‘t Hooft, the last of whom is a Nobel laureate. Key features- Definitive discussions of the philosophical implications of modern physics - Masterly expositions of the fundamental theories of modern physics - Covers all three main pillars of modern physics: relativity theory, quantum theory, and thermal physics - Covers the new sciences grown from these theories: for example, cosmology from relativity theory; and quantum information and quantum computing, from quantum theory- Contains special Chapters that address crucial topics that arise in several different theories, such as symmetry and determinism- Written by very distinguished theoretical physicists, including a Nobel Laureate, as well as by philosophers

    • Handbook of Differential Equations: Ordinary Differential Equations

      • 1st Edition
      • Volume 3
      • August 21, 2006
      • A. Canada + 2 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 6 1 1 8 3
      • Hardback
        9 7 8 0 4 4 4 5 2 8 4 9 0
      • eBook
        9 7 8 0 0 8 0 4 6 3 8 1 0
      This handbook is the third volume in a series of volumes devoted to self contained and up-to-date surveys in the tehory of ordinary differential equations, written by leading researchers in the area. All contributors have made an additional effort to achieve readability for mathematicians and scientists from other related fields so that the chapters have been made accessible to a wide audience. These ideas faithfully reflect the spirit of this multi-volume and hopefully it becomes a very useful tool for reseach, learing and teaching. This volumes consists of seven chapters covering a variety of problems in ordinary differential equations. Both pure mathematical research and real word applications are reflected by the contributions to this volume.

    • Regression Analysis Study Guide

      • 2nd Edition
      • April 27, 2006
      • Rudolf J. Freund + 2 more
      • English
      • Paperback
        9 7 8 0 1 2 3 7 2 5 0 4 2
      • eBook
        9 7 8 0 0 8 0 9 1 9 7 1 3

    • Biostatistics

      • 2nd Edition
      • December 14, 2006
      • Ronald N. Forthofer + 2 more
      • English
      • Hardback
        9 7 8 0 1 2 3 6 9 4 9 2 8
      • eBook
        9 7 8 0 0 8 0 4 6 7 7 2 6
      Biostatistics, Second Edition, is a user-friendly guide on biostatistics, which focuses on the proper use and interpretation of statistical methods. This textbook does not require extensive background in mathematics, making it user-friendly for all students in the public health sciences field. Instead of highlighting derivations of formulas, the authors provide rationales for the formulas, allowing students to grasp a better understanding of the link between biology and statistics. The material on life tables and survival analysis allows students to better understand the recent literature in the health field, particularly in the study of chronic disease treatment. This updated edition contains over 40% new material with modern real-life examples, exercises, and references, including new chapters on Logistic Regression, Analysis of Survey Data, and Study Designs. The book is recommended for students in the health sciences, public health professionals, and practitioners.

    • Dictionary of Distances

      • 1st Edition
      • October 3, 2006
      • Michel-Marie Deza + 1 more
      • English
      • Hardback
        9 7 8 0 4 4 4 5 2 0 8 7 6
      • eBook
        9 7 8 0 0 8 0 4 6 5 5 4 8
      This book comes out of need and urgency (expressed especially in areas of Information Retrieval with respect to Image, Audio, Internet and Biology) to have a working tool to compare data.The book will provide powerful resource for all researchers using Mathematics as well as for mathematicians themselves. In the time when over-specialization and terminology fences isolate researchers, this Dictionary try to be "centripedal" and "oikoumeni", providing some access and altitude of vision but without taking the route of scientific vulgarisation. This attempted balance is the main philosophy of this Dictionary which defined its structure and style.Key features:- Unicity: it is the first book treating the basic notion of Distance in whole generality.- Interdisciplinarity: this Dictionary is larger in scope than majority of thematic dictionaries.- Encyclopedicity: while an Encyclopedia of Distances seems now too difficult to produce, this book (by its scope, short introductions and organization) provides the main material for it and for future tutorials on some parts of this material.- Applicability: the distances, as well as distance-related notions and paradigms, are provided in ready-to-use fashion.- Worthiness: the need and urgency for such dictionary was great in several huge areas, esp. Information Retrieval, Image Analysis, Speech Recognition and Biology.- Accessibility: the definitions are easy to locate by subject or, in Index, by alphabetic order; the introductions and definitions are reader-friendly and maximally independent one from another; still the text is structured, in the 3D HTML style, by hyperlink-like boldfaced references to similar definitions.

    • Two-Point Boundary Value Problems: Lower and Upper Solutions

      • 1st Edition
      • Volume 205
      • March 21, 2006
      • C. De Coster + 1 more
      • English
      • Hardback
        9 7 8 0 4 4 4 5 2 2 0 0 9
      • Paperback
        9 7 8 0 4 4 4 5 5 9 5 7 9
      • eBook
        9 7 8 0 0 8 0 4 6 2 4 7 9
      This book introduces the method of lower and upper solutions for ordinary differential equations. This method is known to be both easy and powerful to solve second order boundary value problems. Besides an extensive introduction to the method, the first half of the book describes some recent and more involved results on this subject. These concern the combined use of the method with degree theory, with variational methods and positive operators. The second half of the book concerns applications. This part exemplifies the method and provides the reader with a fairly large introduction to the problematic of boundary value problems. Although the book concerns mainly ordinary differential equations, some attention is given to other settings such as partial differential equations or functional differential equations. A detailed history of the problem is described in the introduction.

    • Measure Theory

      • 1st Edition
      • November 20, 2006
      • Carlos S Kubrusly
      • English
      • Hardback
        9 7 8 0 1 2 3 7 0 8 9 9 1
      • Paperback
        9 7 8 1 4 9 3 3 0 0 9 0 7
      • eBook
        9 7 8 0 0 8 0 9 1 9 6 1 4
      This contemporary first course focuses on concepts and ideas of Measure Theory, highlighting the theoretical side of the subject. Its primary intention is to introduce Measure Theory to a new generation of students, whether in mathematics or in one of the sciences, by offering them on the one hand a text with complete, rigorous and detailed proofs--sketchy proofs have been a perpetual complaint, as demonstrated in the many Amazon reader reviews critical of authors who "omit 'trivial' steps" and "make not-so-obvious 'it is obvious' remarks." On the other hand, Kubrusly offers a unique collection of fully hinted problems. On the other hand, Kubrusly offers a unique collection of fully hinted problems. The author invites the readers to take an active part in the theory construction, thereby offering them a real chance to acquire a firmer grasp on the theory they helped to build. These problems, at the end of each chapter, comprise complements and extensions of the theory, further examples and counterexamples, or auxiliary results. They are an integral part of the main text, which sets them apart from the traditional classroom or homework exercises.JARGON BUSTER:measure theoryMeasure theory investigates the conditions under which integration can take place. It considers various ways in which the "size" of a set can be estimated.This topic is studied in pure mathematics programs but the theory is also foundational for students of statistics and probability, engineering, and financial engineering.

    • Elliptic Boundary Value Problems of Second Order in Piecewise Smooth Domains

      • 1st Edition
      • Volume 69
      • January 12, 2006
      • Michail Borsuk + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 4 5 9 9 2
      • Hardback
        9 7 8 0 4 4 4 5 2 1 0 9 5
      • eBook
        9 7 8 0 0 8 0 4 6 1 7 3 1
      The book contains a systematic treatment of the qualitative theory of elliptic boundary value problems for linear and quasilinear second order equations in non-smooth domains. The authors concentrate on the following fundamental results: sharp estimates for strong and weak solutions, solvability of the boundary value problems, regularity assertions for solutions near singular points.Key features:* New the Hardy – Friedrichs – Wirtinger type inequalities as well as new integral inequalities related to the Cauchy problem for a differential equation.* Precise exponents of the solution decreasing rate near boundary singular points and best possible conditions for this.* The question about the influence of the coefficients smoothness on the regularity of solutions.* New existence theorems for the Dirichlet problem for linear and quasilinear equations in domains with conical points.* The precise power modulus of continuity at singular boundary point for solutions of the Dirichlet, mixed and the Robin problems.* The behaviour of weak solutions near conical point for the Dirichlet problem for m – Laplacian.* The behaviour of weak solutions near a boundary edge for the Dirichlet and mixed problem for elliptic quasilinear equations with triple degeneration.

    • Discrete Cosine and Sine Transforms

      • 1st Edition
      • September 2, 2006
      • Vladimir Britanak + 2 more
      • English
      • Hardback
        9 7 8 0 1 2 3 7 3 6 2 4 6
      • Paperback
        9 7 8 1 4 9 3 3 0 1 0 3 4
      • eBook
        9 7 8 0 0 8 0 4 6 4 6 4 0
      The Discrete Cosine Transform (DCT) is used in many applications by the scientific, engineering and research communities and in data compression in particular. Fast algorithms and applications of the DCT Type II (DCT-II) have become the heart of many established international image/video coding standards. Since then other forms of the DCT and Discrete Sine Transform (DST) have been investigated in detail. This new edition presents the complete set of DCT and DST discrete trigonometric transforms, including their definitions, general mathematical properties, and relations to the optimal Karhunen-Loéve transform (KLT), with the emphasis on fast algorithms (one-dimensional and two-dimensional) and integer approximations of DCTs and DSTs for their efficient implementations in the integer domain. DCTs and DSTs are real-valued transforms that map integer-valued signals to floating-point coefficients. To eliminate the floating-point operations, various methods of integer approximations have been proposed to construct and flexibly generate a family of integer DCT and DST transforms with arbitrary accuracy and performance. The integer DCTs/DSTs with low-cost and low-powered implementation can replace the corresponding real-valued transforms in wireless and satellite communication systems as well as portable computing applications. The book is essentially a detailed excursion on orthogonal/orthonorm... DCT and DST matrices, their matrix factorizations and integer aproximations. It is hoped that the book will serve as a valuable reference for industry, academia and research institutes in developing integer DCTs and DSTs as well as an inspiration source for further advanced research.

Related subjects

Mathematics and applied mathematics

Statistics and probability