What
Wedge products dx ∧ dy, exterior derivative d, interior product ι_v, Hodge star *. Automatic simplification using anticommutativity.
Applications
Differential geometry, Maxwell's equations in covariant form, de Rham cohomology, integration on manifolds (Stokes' theorem), symplectic geometry.
Tracked from mathematical coverage gap analysis.
What
Wedge products
dx ∧ dy, exterior derivatived, interior productι_v, Hodge star*. Automatic simplification using anticommutativity.Applications
Differential geometry, Maxwell's equations in covariant form, de Rham cohomology, integration on manifolds (Stokes' theorem), symplectic geometry.
Tracked from mathematical coverage gap analysis.