ProofWiki - Calculus
Unknown
Community-edited index of formal proofs for calculus results, from limits and the Mean Value Theorem to the Fundamental Theorem of Calculus. Each page states a theorem precisely and proves it step by step, linking every definition and lemma used.
More resources on Calculus Theorems
Wolfram MathWorld
MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading.
Paul's Online Math Notes
Paul Dawkins' Calculus I lecture notes from Lamar University, covering limits, derivatives, applications and integrals. Worked examples and practice problems accompany each section, and an extras chapter proves the main limit, derivative and integral theorems used in a first course.
Khan Academy - Calculus Applications
Khan Academy's Calculus 1 course covers derivatives, integrals, and their applications to optimization, related rates, and area/volume problems, with practice exercises and video explanations for each topic.
Multivariable Calculus (MIT 18.02SC)
Differential, integral and vector calculus in several variables: vectors and matrices, partial derivatives, optimization, double and triple integrals, line integrals, and the theorems of Green, Stokes and Gauss. Includes 106 lecture and recitation videos, notes, and problems and exams with solutions, built for independent study.
Calculus for Engineers
Hong Kong University of Science and Technology course presenting university calculus for engineering and science students in 59 short lectures. Reviews precalculus, then covers derivatives, integrals, Taylor series and applications, leaving learners able to set up and solve standard single-variable calculus problems.