We stand with Ukraine  

Angeliki Koutsoukou-Argyraki

Orcid: 0000-0002-8886-5281

Affiliations:
  • University of Cambridge, Computer Laboratory, UK
  • TU Darmstadt, Department of Mathematics, Germany (PhD 2017)


According to our database1, Angeliki Koutsoukou-Argyraki authored at least 20 papers between 2018 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Polygonal Number Theorem.
[BibTeX]
[DOI]
Kevin Lee
,
Zhengkun Ye
,
Angeliki Koutsoukou-Argyraki
Arch. Formal Proofs, 2023

Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk).
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
,
Mantas Baksys
,
Chelsea Edmonds
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.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
,
Wenda Li
,
Lawrence C. Paulson
Exp. Math., 2022

Formalizing Ordinal Partition Relations Using Isabelle/HOL.
[BibTeX]
[DOI]
Mirna Dzamonja
,
Angeliki Koutsoukou-Argyraki
,
Lawrence C. Paulson
Exp. Math., 2022

The Balog-Szemerédi-Gowers Theorem.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
,
Mantas Baksys
,
Chelsea Edmonds
Arch. Formal Proofs, 2022

Khovanskii's Theorem.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
,
Lawrence C. Paulson
Arch. Formal Proofs, 2022

The Plünnecke-Ruzsa Inequality.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
,
Lawrence C. Paulson
Arch. Formal Proofs, 2022

Kneser's Theorem and the Cauchy-Davenport Theorem.
[BibTeX]
[DOI]
Mantas Baksys
,
Angeliki Koutsoukou-Argyraki
Arch. Formal Proofs, 2022

2021
Roth's Theorem on Arithmetic Progressions.
[BibTeX]
[DOI]
Chelsea Edmonds
,
Angeliki Koutsoukou-Argyraki
,
Lawrence C. Paulson
Arch. Formal Proofs, 2021

Szemerédi's Regularity Lemma.
[BibTeX]
[DOI]
Chelsea Edmonds
,
Angeliki Koutsoukou-Argyraki
,
Lawrence C. Paulson
Arch. Formal Proofs, 2021

On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
Proceedings of the Connecting with Computability, 2021

2020
Irrationality Criteria for Series by Erdős and Straus.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
,
Wenda Li
Arch. Formal Proofs, 2020

Amicable Numbers.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
Arch. Formal Proofs, 2020

2019
The Transcendence of Certain Infinite Series.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
,
Wenda Li
Arch. Formal Proofs, 2019

Aristotle's Assertoric Syllogistic.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
Arch. Formal Proofs, 2019

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

Irrational Rapidly Convergent Series.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
,
Wenda Li
Arch. Formal Proofs, 2018

Octonions.
[BibTeX]
[DOI]
Angeliki Koutsoukou-Argyraki
Arch. Formal Proofs, 2018


  Loading...