Angeliki Koutsoukou-Argyraki

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 22

Top Topics

Johnson Lindenstrauss

Karush Kuhn Tucker

Top Venues

Arch. Formal Proofs

Publications

Angeliki Koutsoukou-Argyraki
Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk). ITP (2023)
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL. CPP (2023)
Kevin Lee, Zhengkun Ye, Angeliki Koutsoukou-Argyraki
Polygonal Number Theorem. Arch. Formal Proofs 2023 (2023)
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL. J. Autom. Reason. 67 (1) (2023)
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
The Balog-Szemerédi-Gowers Theorem. Arch. Formal Proofs 2022 (2022)
Mirna Dzamonja, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Formalizing Ordinal Partition Relations Using Isabelle/HOL. Exp. Math. 31 (2) (2022)
Mantas Baksys, Angeliki Koutsoukou-Argyraki
Kneser's Theorem and the Cauchy-Davenport Theorem. Arch. Formal Proofs 2022 (2022)
Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
The Plünnecke-Ruzsa Inequality. Arch. Formal Proofs 2022 (2022)
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL. CoRR (2022)
Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Khovanskii's Theorem. Arch. Formal Proofs 2022 (2022)
Angeliki Koutsoukou-Argyraki, Wenda Li, Lawrence C. Paulson
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL. Exp. Math. 31 (2) (2022)
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Szemerédi's Regularity Lemma. Arch. Formal Proofs 2021 (2021)
Angeliki Koutsoukou-Argyraki
On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy. CiE (2021)
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Roth's Theorem on Arithmetic Progressions. Arch. Formal Proofs 2021 (2021)
Angeliki Koutsoukou-Argyraki, Wenda Li, Lawrence C. Paulson
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL. CoRR (2021)
Angeliki Koutsoukou-Argyraki
Amicable Numbers. Arch. Formal Proofs 2020 (2020)
Angeliki Koutsoukou-Argyraki, Wenda Li
Irrationality Criteria for Series by Erdős and Straus. Arch. Formal Proofs 2020 (2020)
Angeliki Koutsoukou-Argyraki
Aristotle's Assertoric Syllogistic. Arch. Formal Proofs 2019 (2019)
Angeliki Koutsoukou-Argyraki, Wenda Li
The Transcendence of Certain Infinite Series. Arch. Formal Proofs 2019 (2019)
Angeliki Koutsoukou-Argyraki
New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups. J. Log. Anal. 10 (2018)
Angeliki Koutsoukou-Argyraki
Octonions. Arch. Formal Proofs 2018 (2018)
Angeliki Koutsoukou-Argyraki, Wenda Li
Irrational Rapidly Convergent Series. Arch. Formal Proofs 2018 (2018)