Integral-Differential Calculus

Abstract

We give an exposition of the Newton-Leibniz calculus. We begin by defining the integral as a limit of Riemann sums, verify the integrals of the standard catalog of functions by direct manipulation, prove the substitution lemmas as theorems about Riemann sums, cross the Fundamental Theorem of Calculus, and harvest the differential calculus on the other side.