Integral Table Explorer
The classic antiderivative catalogue as a parameterized, self-verifying library: choose a form, set your constants, and get the specific result — each entry numerically checked against direct integration on the spot. Covers §5.7–5.13.
Search the Catalogue
Every row's ✓ is a live proof: the stated antiderivative F is checked by comparing F(x₂) − F(x₁) against a numeric ∫ of the integrand over a test interval. A table that verifies itself cannot silently carry a typo.