• My M.Sc. Thesis
• Formal proof of exponents 3 and 4 of Fermat's Last Theorem and the parametrisation of Pythagorean Triples
• Formal proof of results about sums of two and four squares
• Nederlandstalige samenvatting