Revision #767 → #1154 · back to history
addedDifferential form8412619bba5f
addedVolume form1d5cf93d6898
addedDifferential forms form an alternating algebrab589e749f83c
addedExterior derivative (informal)09908ae044dc
addedGeneralized Stokes theorem (informal)f032dc3cba0d
addedIntegration of a k-form over an oriented k-manifoldb9fb4831f620
addedSign reversal under orientation reversal57eb33eaa9d4
addedBasis of differential 1-formsf4c5284efb02
addedBasis of differential 2-formsd63e6fcd16e5
addedExterior product (wedge product)6dfde983882e
addedAlternating property of the wedge584b37198fb1
addedMulti-index notation for wedge products294070359669
addedDimension of the module of k-forms356833371d85
addedExterior derivative of a differential form90fa9a2bc1f9
addedExterior derivative as grad/curl/div via Hodge starf621d6501624
addedDifferential 0-forma42283aa7cee
addedDirectional derivativec0d2abbc0be8
addedDirectional derivative is linear in v14f9125d1bcc
addedDifferential df_p of a function7be4d88a67fb
addedGeneral differential 1-formcaed736602ef
addedNecessary condition dα = 0 for exactnessea83cf84d4e2
addedExterior derivative dα of a 1-form43d25e91eaf2
addedSpace of differential k-forms (in coordinates)b29223015247
addedSmooth differential form of degree k6e4de36b7d76
addedDifferential form as alternating multilinear mapca64f4e9d91b
addedAlternation mapd6e0bb63f63d
addedForms as totally antisymmetric covariant tensor fieldsb2374ca43047
addedExterior product of differential formsde3758e31df6
addedBilinearity of the exterior product955e09325720
addedSkew (graded) commutativity of the exterior product4d3f02648aac
addedGraded Leibniz rule713251dc3e75
addedHodge star operator and codifferentialca73d6aa25fd
addedClifford algebra of (co)tangent spacee3e49e721b9e
addedWeyl algebra of vector field derivations5d191704cf3d
addedde Rham complex758ee9f0f871
addedPoincaré lemma29cfa8289cfb
addedde Rham's theoremb5e9aa3be5f6
addedPushforward of a tangent vector311ad0124694
addedPullback of a differential form4c9ea345553b
addedPullback respects basic operations on forms1205ad566651
addedIntegral of an n-form on Euclidean space9a1e9cf7d7ff
addedIntegral of a form over a parametrized manifold4f39d1e8b2e4
addedIntegral over a manifold via triangulation050b38c3b5de
addedIntegration via partitions of unityc33d4978720c
addedFibral part ω_x / η_y of a formfbb94879f816
addedGeneralized Fubini formulaed8eecf70afb
addedIntegration along fibers (higher degree)e99358d03c62
addedProjection formula for fiber integration3e7af14b3b1d
addedStokes' theoremad125d18f4a6
addedIntegral of a closed form over homologous chains is equalffabb5616c71
addedGradient theoremc5e931bf51a1
addedIdentification of n-forms with densities given an orientationca1962d6186c
addedFaraday 2-form (electromagnetic field strength)2d809a5848d4
addedCurrent 3-forma1930e0e1cd4
addedMaxwell's equations in form notation3b414ef48f18
addedYang–Mills fieldccf633acf6f7
addedWirtinger inequality for 2-formse54929cbcd2c
addedGromov's inequality for complex projective space40c4761468cf