Login to filter by course Login to filter by course Reset
Vector Valued FunctionsExplores vector valued functions, their representations, uniqueness, and congruence subgroups.
Fermat's Little TheoremExplores Fermat's Little Theorem, its extensions, primality testing algorithms, and the significance of prime numbers in cryptography.
Verifying Programs with StainlessExplores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.
Number Theory: Modular ArithmeticExplores modular arithmetic, congruence, and number manipulation in a mathematical context, showcasing the power of modular reduction and the tricks of casting out nines.