Angeliki Koutsoukou-Argyraki

Available identifiers

Publication	Date of Publication	Type
Formalisation of additive combinatorics in Isabelle/HOL (invited talk)	2024-11-26	Paper
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL	2023-06-14	Paper
Formalizing Ordinal Partition Relations Using Isabelle/HOL	2022-08-03	Paper
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL	2022-08-03	Paper
On preserving the computational content of mathematical proofs: toy examples for a formalising strategy	2022-03-22	Paper
Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started	2021-03-15	Paper
Formalising Ordinal Partition Relations Using Isabelle/HOL	2020-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q4555782	2018-11-23	Paper
Effective Rates of Convergence for the Resolvents of Accretive Operators	2018-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q5272532	2017-06-30	Paper
Effective asymptotic regularity for one-parameter nonexpansive semigroups	2015-09-30	Paper
Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators	2014-11-19	Paper

This page was built for person: Angeliki Koutsoukou-Argyraki