Herman Geuvers & Rob Nederpelt 
Type Theory and Formal Proof [EPUB ebook] 
An Introduction

This text provides a detailed introduction to number theory, demonstrating how other areas of mathematics enter into the study of the properties of natural numbers. It contains problem sets within ea …

The goal of this book is to present the main ideas and techniques in the field of continuous smooth and nonsmooth optimization. Starting with the case of differentiable data and the classical results …

The book takes a problem solving approach in presenting the topic of differential equations. It provides a complete narrative of differential equations showing the theoretical aspects of the problem …

The second edition of a bestselling textbook, Using R for Introductory Statistics guides students through the basics of R, helping them overcome the sometimes steep learning curve. The author does th …

Amidst tightening requirements for eliminating CFC”s, HCFC”s, halons, and HFC”s from use in air conditioning and heat pumps, the search began for replacements that are environmentally benign, non- …

Intellectual property owners must continually exploit new ways of reproducing, distributing, and marketing their products. However, the threat of piracy looms as a major problem with digital distribu …

This book provides an introduction to the asymptotic theory of random summation, combining a strict exposition of the foundations of this theory and recent results. It also includes a description of …

This book is an introduction to the subject and is devoted to standard material on linear functional analysis, and presents some ergodic theorems for classes of operators containing the quasi-compact …

This book focuses on the class of large-scale stochastic systems, which has dominated the attention of many academic and research groups. It discusses distributed-sensor networks, decentralized detec …

This work offers detailed coverage of every important aspect of symmetric structures in function of a single real variable, providing a historical perspective, proofs and useful methods for addressin …