Lectures related to LLL Algorithm

Explains the Jacobi and Gauss-Seidel methods for solving linear systems iteratively.

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

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

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

Explores finite dimensional spaces, covering extraction process, bases generation, and space completion.

Explores optimization problems and greedy algorithms for efficient decision-making.

Introduces differential forms on manifolds, covering tangent bundles and intersection pairings.

Explains compression and Kraft inequality in codes and sequences.

Covers counting distinct elements using hash functions and the median trick.

Explores optimization in energy system modeling, covering decision variables, objective functions, and different strategies with their pros and cons.