Angeliki Koutsoukou-Argyraki

26 papers A* 1B 2C 1Journal 22
YearRankTypeTitle / Venue / Authors
2026 A* conf
Towards a Common Framework for Autoformalization.
AAAI
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis
2025 J jnl
Towards a Common Framework for Autoformalization.
CoRR
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis
2025 J jnl
Transitive Union-Closed Families.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2024 J jnl
Wooley's Discrete Inequality.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki
2023 B conf
A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.
CPP
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
2023 B conf
Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk).
ITP
Angeliki Koutsoukou-Argyraki
2023 J jnl
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.
J. Autom. Reason.
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2023 J jnl
Polygonal Number Theorem.
Arch. Formal Proofs
Kevin Lee, Zhengkun Ye, Angeliki Koutsoukou-Argyraki
2022 J jnl
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.
CoRR
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2022 J jnl
Formalizing Ordinal Partition Relations Using Isabelle/HOL.
Exp. Math.
Mirna Dzamonja, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2022 J jnl
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL.
Exp. Math.
Angeliki Koutsoukou-Argyraki, Wenda Li, Lawrence C. Paulson
2022 J jnl
Khovanskii's Theorem.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2022 J jnl
Kneser's Theorem and the Cauchy-Davenport Theorem.
Arch. Formal Proofs
Mantas Baksys, Angeliki Koutsoukou-Argyraki
2022 J jnl
The Balog-Szemerédi-Gowers Theorem.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
2022 J jnl
The Plünnecke-Ruzsa Inequality.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2021 J jnl
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL.
CoRR
Angeliki Koutsoukou-Argyraki, Wenda Li, Lawrence C. Paulson
2021 C conf
On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy.
CiE
Angeliki Koutsoukou-Argyraki
2021 J jnl
Roth's Theorem on Arithmetic Progressions.
Arch. Formal Proofs
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2021 J jnl
Szemerédi's Regularity Lemma.
Arch. Formal Proofs
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
2020 J jnl
Amicable Numbers.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki
2020 J jnl
Irrationality Criteria for Series by Erdős and Straus.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Wenda Li
2019 J jnl
Aristotle's Assertoric Syllogistic.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki
2019 J jnl
The Transcendence of Certain Infinite Series.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Wenda Li
2018 J jnl
Irrational Rapidly Convergent Series.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Wenda Li
2018 J jnl
New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups.
J. Log. Anal.
Angeliki Koutsoukou-Argyraki
2018 J jnl
Octonions.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki