Angeliki Koutsoukou-Argyraki | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Lawrence C. Paulson
22 publications
Wenda Li
16 publications
Chelsea Edmonds
3 publications

research

∙ 07/15/2022

Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL

We have formalised Szemerédi's Regularity Lemma and Roth's Theorem on Ar...

0 Chelsea Edmonds, et al. ∙

research

∙ 01/08/2021

Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL

We give an overview of our formalizations in the proof assistant Isabell...

0 Angeliki Koutsoukou-Argyraki, et al. ∙