Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition

Collection of slides/documents online related to ICPC

Lectures for the "Problem Solving" Class at Nanjing University.

Solutions to some exercises from Walter Rudin's Functional Analysis

Solutions to Ireland, Rosen exercises in "A Classical Introduction to Modern Number Theory"

MAT2120 Number Theory

A Programmatic Approach to Arithmetic

A Mathematics IB DP Extended Essay on the Ulam spiral.

A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.

Lecture notes on Mechmath MSU 2017 Number Theory course written in LaTeX for future generations.

My honors thesis which was in the math department gave a survey modern day factoring and primality algorithms and the mathematics that went into them. This has clear connections to cryptography but is interesting in its own right. In particular, I thought that the quadratic sieve and number field sieve are particularly interesting because of all…

My habilitation thesis

Trabajo de fin de Grado sobre el algoritmo AKS. Este algoritmo es el primer test de primalidad general, determinista, polinomial e incondicional.

素数判定法と素因数分解アルゴリズムに関する教科書(pythonコード付き)

A formal proof of the Zeckendorf theorem in Isabelle/HOL

Curso de la teoría de números algebraicos en CIMAT, Guanajuato (otoño 2020)

My answers to homework for a Number Theory & Cryptography course at Queen's University (MTHE 418), written in LaTeX.