WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Derivative

Revision #525 → #1147 · back to history

addedDerivative (informal)c90e07912c66
addedDifferentiability at a point (ε-δ)a07e7b9a45d5
addedDerivative as a limit0ac67e5c7a3c
addedDerivative functione75a29e40733
addedDerivative of squaring function5c77c845d6a0
addedDerivative as slope of tangentb0749f78dd30
addedDerivative via infinitesimals (nonstandard analysis)f1e635e62332
addedSquaring function via infinitesimals7b019b66875c
addedDifferentiability implies continuity02ce63d5e7ef
addedStep function is not differentiable52e38d62f924
addedAbsolute value not differentiable at 0c0f6bf955926
addedFunction with vertical tangentf9d02611ebd0
addedWeierstrass function6992353787e2
addedBanach's meager set theorem56b3aab4b743
addedLeibniz notation447965f8b497
addedChain rule (Leibniz form)1b29adda724f
addedPrime (Lagrange) notationd7ea29422622
addedNewton's dot notationf0a521356db0
addedD-notation (Euler)16f4dceea344
addedDerivative of powersfec2bc3d8c6b
addedDerivatives of exponentials and logarithms2b58ca8649eb
addedDerivatives of trigonometric functionsbcc1934a9def
addedDerivatives of inverse trigonometric functions578994fec751
addedConstant rule22cbd7db838e
addedSum rule6490f5eba55f
addedProduct rule8b6581cfdc3d
addedQuotient rule6ee5f5a2557b
addedChain rule321695d952f5
addedComputation example1578d6f57854
addedAntiderivativebbe1a3ce3b43
addedFundamental theorem of calculusb5abea833a53
addedHigher-order derivativeseed8c5ee5553
addedDifferentiability class C^k37e4af84fa7b
addedSmooth (infinitely differentiable) functionb6d5de79db87
addedPolynomials are smoothc18000d58835
addedPosition, velocity, acceleration, jerkdc0baac7990d
addedDerivative of a vector-valued functiondd0ab952d45b
addedPartial derivativec2a3353428af
addedPartial derivative in a direction570fd3d5363f
addedGradient9c5ae2fa0680
addedDirectional derivative2eaf5b2528b5
addedDirectional derivative formulaefea385b76f1
addedTotal derivativefd9f44a66ee0
addedPushforwarde599ec3c1aea
addedTotal derivative determines partials and directional derivativescd08df7d3437
addedJacobian matrix4fa7267f7eee
addedComplex derivative6456091889bb
addedCauchy–Riemann equationseb235e51c044
addedDerivative on manifolds5a63cf51e8f4
addedGateaux and Fréchet derivatives196a90095156
addedWeak derivativedb330d388f8e
addedArithmetic derivative061e7390584d
addedDerivations422ae58d24cc