Octonions. - Angeliki Koutsoukou-Argyraki (Arch. Formal Proofs, 2018)

Irrational Rapidly Convergent Series. - Angeliki Koutsoukou-Argyraki; Wenda Li (Arch. Formal Proofs, 2018)

New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups. - Angeliki Koutsoukou-Argyraki (J. Log. Anal., 2018)

Aristotle's Assertoric Syllogistic. - Angeliki Koutsoukou-Argyraki (Arch. Formal Proofs, 2019)

The Transcendence of Certain Infinite Series. - Angeliki Koutsoukou-Argyraki; Wenda Li (Arch. Formal Proofs, 2019)

Amicable Numbers. - Angeliki Koutsoukou-Argyraki (Arch. Formal Proofs, 2020)

Irrationality Criteria for Series by Erdős and Straus. - Angeliki Koutsoukou-Argyraki; Wenda Li (Arch. Formal Proofs, 2020)

On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy. - Angeliki Koutsoukou-Argyraki (CiE, 2021)

Szemerédi's Regularity Lemma. - Chelsea Edmonds; Angeliki Koutsoukou-Argyraki; Lawrence C. Paulson (Arch. Formal Proofs, 2021)

Roth's Theorem on Arithmetic Progressions. - Chelsea Edmonds; Angeliki Koutsoukou-Argyraki; Lawrence C. Paulson (Arch. Formal Proofs, 2021)

Kneser's Theorem and the Cauchy-Davenport Theorem. - Mantas Baksys; Angeliki Koutsoukou-Argyraki (Arch. Formal Proofs, 2022)

The Plünnecke-Ruzsa Inequality. - Angeliki Koutsoukou-Argyraki; Lawrence C. Paulson (Arch. Formal Proofs, 2022)

Khovanskii's Theorem. - Angeliki Koutsoukou-Argyraki; Lawrence C. Paulson (Arch. Formal Proofs, 2022)

The Balog-Szemerédi-Gowers Theorem. - Angeliki Koutsoukou-Argyraki; Mantas Baksys; Chelsea Edmonds (Arch. Formal Proofs, 2022)

Formalizing Ordinal Partition Relations Using Isabelle/HOL. - Mirna Dzamonja; Angeliki Koutsoukou-Argyraki; Lawrence C. Paulson (Exp. Math., 2022)

Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL. - Angeliki Koutsoukou-Argyraki; Wenda Li 001; Lawrence C. Paulson (Exp. Math., 2022)

A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL. - Angeliki Koutsoukou-Argyraki; Mantas Baksys; Chelsea Edmonds (CPP, 2023)

Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk). - Angeliki Koutsoukou-Argyraki (ITP, 2023)

Polygonal Number Theorem. - Kevin Lee; Zhengkun Ye; Angeliki Koutsoukou-Argyraki (Arch. Formal Proofs, 2023)

Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL. - Chelsea Edmonds; Angeliki Koutsoukou-Argyraki; Lawrence C. Paulson (J. Autom. Reason., 2023)

Wooley's Discrete Inequality. - Angeliki Koutsoukou-Argyraki (Arch. Formal Proofs, 2024)

Transitive Union-Closed Families. - Angeliki Koutsoukou-Argyraki; Lawrence C. Paulson (Arch. Formal Proofs, 2025)