WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Discrete calculus

Revision #121 → #1162 · back to history

addedDiscrete calculuse2939eab3ca4
addedDiscrete differential calculus95a2cc1a92a0
addedDifference quotient3bc267ce2b44
addedDifference quotient as velocityb3f4a9f6e17d
addedSlope of a linear function43fef9ba8edf
addedSlope of the line between two pointse876113c22f1
addedDifference quotient of the squaring function7ab824e5624d
addedSecond difference quotient73ec26e833eb
addedDiscrete integral calculus8f1d7702825d
addedDistance traveled in a given time2e3e25533ed4
addedRiemann suma14a66e9244f
addedFundamental theorem of calculus (statement)305522a4d32c
addedFundamental theorem of discrete calculus81a47a52e62a
addedDifference equationdd2092920005
addedDifference (coboundary) operator076e85a7a934
addedSum of a cochain15b4282756d2
addedConstant rule (differences/sums)eb1ecb7426e9
addedLinearity (differences/sums)bdc437df16d2
addedProduct rule (differences/sums)551b7960841b
addedFundamental theorem of calculus I (differences/sums)a45905e78e82
addedFundamental theorem of calculus II (differences/sums)0e81f4be0367
addedExterior derivative on a graphb505540182c0
addedPath integral of a cochain on a graphe6c08bba2ead
addedConstant rule (graphs)17d7f33f87d0
addedLinearity (graphs)14eb87295e06
addedProduct rule (graphs)700ceb2657aa
addedFundamental theorem of calculus I (graphs)7283b0c6356d
addedFundamental theorem of calculus II (graphs)6cdbe77931ec
addedSimplicial complex63f702f7ce0e
addedOrientation of a simplexa118929f984a
addedSimplicial k-chainaee4ef0c2b96
addedVector space of k-chains8faa1d57e901
addedBoundary operator9be9e701ac99
addedCycles and boundaries9254ac95d90a
addedBoundary of a boundary is zero8fc6aa40bfcd
addedElementary interval05475780bcaf
addedElementary cube79b7d854ab28
addedCubical complexdaf2a4a4daf0
addedChain complex9fd1fb9fa908
addedSimplicial map4d663804fb10
addedChain map82309c8643fa
addedChain map preserves cycles and boundaries4223ad338f12
addedDual (coboundary) operatorec64f6278c5a
addedCochain complex52de976e95ea
addedDegree (dimension)04ef7773eea1
addedCochains, cocycles, coboundariesf5c5429b4139
addedPoincaré lemma1036aac0be51
addedDiscrete exterior derivative on formsab3b8378b4ec
addedStokes' theorem393294a514b7
addedWedge producta880d751b856
addedWedge product on cubical complexes0b7a76c68dd6
addedCup product5ee9ce867ee5
addedCoboundary of a cup product (Leibniz rule)53eaa827dd5d
addedCup product of cocyclesb75288a91fd5
addedGraded-commutativity of the cup product622560359f68
addedLaplace operator (informal)89834944abc4
addedCodifferentialcce81f49e8d2
addedCodifferential is adjoint of exterior derivative9539d6665c0e
addedCodifferential squared is zero4361e225a3f1
addedLaplace operator (definition)f699efb3116e