Angeliki Koutsoukou-Argyraki

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Journal of Automated Reasoning	2023-06-14	Paper
Formalizing ordinal partition relations using Isabelle/HOL Experimental Mathematics	2022-08-03	Paper
Irrationality and transcendence criteria for infinite series in Isabelle/HOL Experimental Mathematics	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 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)	2021-03-15	Paper
Formalising Ordinal Partition Relations Using Isabelle/HOL (available as arXiv preprint)	2020-11-26	Paper
scientific article; zbMATH DE number 6983477 (Why is no real title available?)	2018-11-23	Paper
Effective rates of convergence for the resolvents of accretive operators Numerical Functional Analysis and Optimization	2018-01-26	Paper
Proof mining for nonlinear operator theory. Four case studies on accretive operators, the Cauchy problem and nonexpansive semigroups	2017-06-30	Paper
Proof mining for nonlinear operator theory. Four case studies on accretive operators, the Cauchy problem and nonexpansive semigroups	2017-06-30	Paper
Proof mining for nonlinear operator theory. Four case studies on accretive operators, the Cauchy problem and nonexpansive semigroups	2017-06-30	Paper
Effective asymptotic regularity for one-parameter nonexpansive semigroups Journal of Mathematical Analysis and Applications	2015-09-30	Paper
Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators Journal of Mathematical Analysis and Applications	2014-11-19	Paper

Research outcomes over time

This page was built for person: Angeliki Koutsoukou-Argyraki