Revision #913 → #1539 · back to history
addedPartition of an interval96af106945f9
addedSub-interval of a partition4b0a92e3f0f5
addedMesh (norm) of a partition07f870ea8e61
addedTagged partition50c29af9ce4b
addedRefinement of a tagged partitionf4828ffcd524
addedDirected set of tagged partitionsf3c2bd1073dc
addedRiemann sumd041648242d7
addedLower and upper Darboux sumsb5a1c06cee96
addedDarboux sums equal Riemann sums for continuous ff626d5f4dc7d
addedDarboux integral equivalent to Riemann integral31cdc2d42f5e
addedRiemann integral (epsilon-delta)ffb3a5936faa
addedRiemann integral (refinement form)114f38127450
addedEquivalence of the two Riemann integral definitions7ac703340057
addedConstant function 1 on [0,1]18a9f40113a2
addedIndicator of rationals is not Riemann integrable10cbc3f7202a
addedIndicator of Smith–Volterra–Cantor set32a70ebd55b6
addedLinearity of the Riemann integralb7edce8f7d12
addedRiemann integral as a linear functional48d81e1f5a5b
addedLebesgue–Vitali characterization of Riemann integrabilitydf339944d493
addedBounded function with countably many discontinuities is Riemann integrable770712c0f86e
addedRight/left-hand limit sufficient criterion for integrability1043ac2c50af
addedIndicator function Riemann-integrable iff Jordan measurable8ac841a3aae0
addedMonotone functions are Riemann integrable42b8063d02dd
addedRiemann integrable implies Lebesgue integrable7951bf48527a
addedUniform convergence preserves Riemann integrability8d3cfcc786bf
addedRiemann integral for vector-valued functions2e80d674ca1a
addedImproper Riemann integral9556462a354d
addedSign function improper integral86a79eff7a4f
addedUniform convergence fails on unbounded intervals6e37cdbcfc55
addedRiemann integrable iff bounded with discontinuity set of measure zero1ac2e0c02b8a