Angeliki Koutsoukou-Argyraki

Name:	Angeliki Koutsoukou-Argyraki
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	20 Nov 2025, 4:39 p.m.

Public lists managed by Angeliki Koutsoukou-Argyraki

• Formalisation of mathematics with interactive theorem provers
• Type the title of a new list here

Talks given by Angeliki Koutsoukou-Argyraki

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

Talks organised by Angeliki Koutsoukou-Argyraki

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Angeliki Koutsoukou-Argyraki actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• Combining Two Representations of Matrices for a Formalization of the Perron-Frobenius Theorem
• Roth numbers: Upper, lower bounds, and related constructions
• Formalizing the change of variables formula for integrals in mathlib
• Formalizing algebraic number theory, recent progress and future challenges
• Title to be confirmed
• The leanest automata
• Formalising Erdős and Larson: Ordinal Partition Theory
• Explaining mathematics using formalized mathematics
• Formalization of diagram chasing as a first-order logic in Coq
• Smooth vector bundles in Lean
• Formalising modular forms, Eisenstein series and the statement of the modularity conjecture in Lean
• The Locale-Centric Approach for Formalising Mathematical Hierarchies
• [CANCELLED] Real Closed Field and Thom Encoding in Isabelle/HOL
• Formalising Turán's Graph Theorem in Isabelle/HOL
• TBC
• Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL
• From benchmark-centric to human-centric: deep learning methods in the formalisation of mathematics
• Some practical problems in formalising mathematics and how to solve them
• The Liquid Tensor Experiment
• How Hilbert met Isabelle: Proof Between Generations
• Formalised Mathematics: Obstacles and Achievements
• TBC