Lectures related to Discrete Log Problem: Pollard's Rho Method

Shor's factoring algorithm: Quantum Phase Estimation

Covers Shor's factoring algorithm and the link between order finding and factoring.

Introduces Z/mZ for writing equations with congruence classes in modular arithmetic.

Closure Conversion: Representation and Transformation

Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.

Cartesian Product in Linear Algebra

Explores the Cartesian product in linear algebra and the method of induction for proving propositions.

Classification of Finite Abelian Groups

Covers the classification of finite abelian groups and the unique sequence of positive integers for isomorphism.