Paul Callaghan & Zhaohui Luo 
Types for Proofs and Programs [PDF ebook] 
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

What Is Combinatorics Anyway? Broadly speaking, combinatorics is the branch of mathematics dealing with different ways of selecting objects from a set or arranging objects. It tries to answer two maj …

This monograph is devoted to the construction of optimal estimates of values of linear functionals on solutions to Cauchy and two-point boundary value problems for systems of linear first-order ordin …

The second edition of Empirical Bayes Methods details are provided of the derivation and the performance of empirical Bayes rules for a variety of special models. Attention is given to the problem of …

This book explains the fundamental concepts and theoretical techniques used to understand the properties of quantum systems having large numbers of degrees of freedom. A number of complimentary appro …

Modelling with Ordinary Differential Equations integrates standard material from an elementary course on ordinary differential equations with the skills of mathematical modeling in a number of divers …

A selection of some important topics in complex analysis, intended as a sequel to the author”s Classical complex analysis (see preceding entry). The five chapters are devoted to analytic continuatio …

A graphical model is a statistical model that is represented by a graph. The factorization properties underlying graphical models facilitate tractable computation with multivariate distributions, mak …

Since the first edition of this book appeared, computers have come to the aid of modern experimenters and data analysts, bringing with them data analysis techniques that were once beyond the calculat …

Elementary Differential Equations, Second Edition  is written with the knowledge that there has been a dramatic change in the past century in how solutions to differential equations are calculat …