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 …

Fractional Integral Transforms: Theory and Applications presents over twenty-five integral transforms, many of which have never before been collected in one single volume. Some transforms are classic …

‘Data Science Foundations is most welcome and, indeed, a piece of literature that the field is very much in need of…quite different from most data analytics texts which largely ignore foundational co …

Actions and Invariants of Algebraic Groups, Second Edition presents a self-contained introduction to geometric invariant theory starting from the basic theory of affine algebraic groups and proceedin …

Mathematical Modelling of Waves in Multi-Scale Structured Media presents novel analytical and numerical models of waves in structured elastic media, with emphasis on the asymptotic analysis of phenom …

Revised and updated throughout, this book presents the fundamental concepts of vector and tensor analysis with their corresponding physical and geometric applications – emphasizing the development of …

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 …