Hermite Normal Form: Computation & Properties

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Explores elementary algebra concepts related to numeric sets and prime numbers, including unique factorization and properties.

Introduces Cartesian product and induction for proofs using integers and sets.

Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.