Login to filter by course Login to filter by course Reset
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Covers the basics of elliptic curves, their significance in cryptography, and their applications in public key cryptography.
Explores the constructibility of regular polygons, Fermat numbers, historical conjectures, and the compass's fundamental role in geometric constructions.
Explains the Open Mapping Theorem for holomorphic maps between Riemann surfaces.
Explores the Chinese Remainders Theorem, RSA public-key cryptosystem, bijective properties, and key generation for encryption and decryption.
Explores the Central Limit Theorem, convergence in law, characteristic functions, and moment problems in probability theory.
