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:	Mon Sep 30 14:48:27 +0000 2024

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.

• 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