Lectures related to Generalized continued fraction

Explores the properties of exponential functions, including growth, decay, and their relationship with logarithmic functions.

Showcases the use of assertions in Stainless to prove properties of fractions.

Explores challenges and strategies for sampling from rough energy landscapes, focusing on Monte Carlo integration and tuning algorithms.

Explores the analysis of the measurement process in the Shor Algorithm.

Explores linear recurrence relations, including examples like the Fibonacci numbers and the proof of related theorems.

Covers integers, rings, subrings, invertibility, divisors of zero, and equivalence relations in formal fractions.