Angeliki Koutsoukou-Argyraki

Arch. Formal Proofs, 2025

2024

Wooley's Discrete Inequality.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2024

2023

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

[BibT_eX]

[DOI]

J. Autom. Reason., 2023

Polygonal Number Theorem.

[BibT_eX]

[DOI]

Kevin Lee

Zhengkun Ye

Arch. Formal Proofs, 2023

Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.

[BibT_eX]

[DOI]

Mantas Baksys

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL.

[BibT_eX]

[DOI]

Exp. Math., 2022

Formalizing Ordinal Partition Relations Using Isabelle/HOL.

[BibT_eX]

[DOI]

Mirna Dzamonja

Exp. Math., 2022

The Balog-Szemerédi-Gowers Theorem.

[BibT_eX]

[DOI]

Mantas Baksys

Arch. Formal Proofs, 2022

Khovanskii's Theorem.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2022

The Plünnecke-Ruzsa Inequality.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2022

Kneser's Theorem and the Cauchy-Davenport Theorem.

[BibT_eX]

[DOI]

Mantas Baksys

Arch. Formal Proofs, 2022

2021

Roth's Theorem on Arithmetic Progressions.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2021

Szemerédi's Regularity Lemma.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2021

On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy.

[BibT_eX]

[DOI]

Proceedings of the Connecting with Computability, 2021

2020

Irrationality Criteria for Series by Erdős and Straus.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2020

Amicable Numbers.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2020

2019

The Transcendence of Certain Infinite Series.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2019

Aristotle's Assertoric Syllogistic.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2019

2018

New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups.

[BibT_eX]

[DOI]

J. Log. Anal., 2018

Irrational Rapidly Convergent Series.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

Octonions.

[BibT_eX]

[DOI]