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

An “enjoyable [and] painlessly instructive” guide to probability, full of examples drawn from daily life and history (The Skeptic). Our lives are governed by chance. But what, exactly, is chance? In …

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 …

The Handbook of Ordinary Differential Equations: Exact Solutions, Methods, and Problems, is an exceptional and complete reference for scientists and engineers as it contains over 7, 000 ordinary diff …

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

First published in 2001. The classical Fourier transform is one of the most widely used mathematical tools in engineering. However, few engineers know that extensions of harmonic analysis to function …

Mathematicians have devised different chaotic systems that are modeled by integer or fractional-order differential equations, and whose mathematical models can generate chaos or hyperchaos. The …

The theme of inserting new digital technologies into the teaching and learning of mathematics from primary and secondary schools has provoked a wide and interesting debate. One such debate is the ref …

From an award-winning teacher, “a delightful and instructive accessory to an introductory physics course” (Physics World). Physicists use “back-of-the-envelope” estimates to check whether or not an i …

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 …