Angeliki Koutsoukou-Argyraki

Generating author description...

All published works

Action	Title	Year	Authors
+	A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL	2023	Angeliki Koutsoukou-Argyraki Mantas Bakšys Chelsea Edmonds
+ PDF Chat	Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL	2022	Chelsea Edmonds Angeliki Koutsoukou-Argyraki Lawrence C. Paulson
+	Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL	2022	Chelsea Edmonds Angeliki Koutsoukou-Argyraki Lawrence C. Paulson
+ PDF Chat	Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL	2021	Angeliki Koutsoukou-Argyraki Wenda Li Lawrence C. Paulson
+ PDF Chat	Formalizing Ordinal Partition Relations Using Isabelle/HOL	2021	Mirna Džamonja Angeliki Koutsoukou-Argyraki Lawrence C. Paulson
+	Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL	2021	Angeliki Koutsoukou-Argyraki Wenda Li Lawrence C. Paulson
+ PDF Chat	Formalising Ordinal Partition Relations Using Isabelle/HOL	2021	Mirna Džamonja Angeliki Koutsoukou-Argyraki Lawrence C. Paulson
+	On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy	2021	Angeliki Koutsoukou-Argyraki
+	Szemerédi's Regularity Lemma.	2021	Chelsea Edmonds Angeliki Koutsoukou-Argyraki Lawrence C. Paulson
+	Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL	2021	Angeliki Koutsoukou-Argyraki Wenda Li Lawrence C. Paulson
+ PDF Chat	Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started	2020	Angeliki Koutsoukou-Argyraki
+	The Transcendence of Certain Infinite Series.	2019	Angeliki Koutsoukou-Argyraki Wenda Li
+	Irrational Rapidly Convergent Series.	2018	Angeliki Koutsoukou-Argyraki Wenda Li
+ PDF Chat	New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups	2018	Angeliki Koutsoukou-Argyraki
+	Effective Rates of Convergence for the Resolvents of Accretive Operators	2017	Angeliki Koutsoukou-Argyraki
+	Effective asymptotic regularity for one-parameter nonexpansive semigroups	2015	Ulrich Kohlenbach Angeliki Koutsoukou-Argyraki
+	Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators	2014	Ulrich Kohlenbach Angeliki Koutsoukou-Argyraki

Common Coauthors

Coauthor	Papers Together
Lawrence C. Paulson	8
Wenda Li	5
Chelsea Edmonds	4
Ulrich Kohlenbach	2
Mirna Džamonja	2
Mantas Bakšys	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators	2014	Ulrich Kohlenbach Angeliki Koutsoukou-Argyraki	5
+	Applied Proof Theory: Proof Interpretations and Their Use in Mathematics	2008	Ulrich Kohlenbach	5
+ PDF Chat	The foundation of a generic theorem prover	1989	Lawrence C. Paulson	4
+ PDF Chat	A FORMAL PROOF OF THE KEPLER CONJECTURE	2017	Thomas Hales Mark Adams Gertrud Bauer TAT DAT DANG John Harrison Hoang Le Truong Cezary Kaliszyk Victor Magron Sean McLaughlin TAT THANG NGUYEN	4
+	Rough Structure and Classification	2010	W. T. Gowers	3
+	Generation of Semi-Groups of Nonlinear Transformations on General Banach Spaces	1971	Michael G. Crandall Thomas M. Liggett	3
+	On the interpretation of non-finitist proofs–Part II	1952	G. Kreisel	3
+ PDF Chat	A proof of the Kepler conjecture	2005	Thomas Hales	3
+	Nonlinear semigroups and differential equations in Banach spaces	1976	Viorel Barbu	3
+	A corrected quantitative version of the Morse lemma	2019	Sébastien Gouëzel Vladimir Shchur	3
+	Effective asymptotic regularity for one-parameter nonexpansive semigroups	2015	Ulrich Kohlenbach Angeliki Koutsoukou-Argyraki	3
+ PDF Chat	Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started	2020	Angeliki Koutsoukou-Argyraki	3
+ PDF Chat	The Transcendence of Certain Infinite Series	2005	Jaroslav Hančl Pavel Rucki	3
+ PDF Chat	Well, Better and In-Between	2020	Raphaël Carroy Yann Pequignot	2
+ PDF Chat	From LCF to Isabelle/HOL	2019	Lawrence C. Paulson Tobias Nipkow Makarius Wenzel	2
+ PDF Chat	Fast Track to Forcing	2020	Mirna Džamonja	2
+ PDF Chat	New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups	2018	Angeliki Koutsoukou-Argyraki	2
+	Three Chapters of Measure Theory in Isabelle/HOL	2011	Johannes Hölzl Armin Heller	2
+	Irrational Rapidly Convergent Series.	2018	Angeliki Koutsoukou-Argyraki Wenda Li	2
+ PDF Chat	A Formally Verified Proof of the Central Limit Theorem	2017	Jeremy Avigad Johannes Hölzl Luke Serafin	2
+	Irrational Rapidly Convergent Series.	2002	Jaroslav Hančl	2
+ PDF Chat	A Theorem in the Partition Calculus Corrigendum	1974	Paul Erdös E. C. Milner	2
+	A Theorem on Transcendence of Infinite Series II	2001	M. A. Nyblom	2
+	Effective Rates of Convergence for the Resolvents of Accretive Operators	2017	Angeliki Koutsoukou-Argyraki	2
+	On Fraisse's Order Type Conjecture	1971	Richard Laver	2
+	Teilmengen von Mengen mit Relationen	1956	Bonny Specker	2
+	Criterion for Irrational Sequences	1993	Jaroslav Hančl	2
+ PDF Chat	Formalizing an Analytic Proof of the Prime Number Theorem	2009	John Harrison	2
+ PDF Chat	Some logical metatheorems with applications in functional analysis	2004	Ulrich Kohlenbach	2
+	PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS	2019	Ulrich Kohlenbach	2
+	A short proof of a partition theorem for the ordinal ωω	1973	Jean A. Larson	2
+ PDF Chat	A partition calculus in set theory	1956	Péter L. Erdős R. Rado	2
+	A new proof of Szemerédi's theorem	2001	W. T. Gowers	2
+ PDF Chat	Uniformly convex spaces	1936	James A. Clarkson	2
+ PDF Chat	A Theorem in the Partition Calculus	1972	Péter L. Erdős E. C. Milner	2
+ PDF Chat	A Theorem on Transcendence of Infinite Series	2000	M. A. Nyblom	2
+	On the interpretation of non-finitist proofs—Part I	1951	G. Kreisel	2
+	Uniform asymptotic regularity for Mann iterates	2003	Ulrich Kohlenbach	2
+ PDF Chat	On the irrationality of certain series	1974	P. Erdős E. G. Straus	2
+	On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications	1952	G. Kreisel	2
+	Borel sets and Ramsey's theorem	1973	Fred Galvin Karel Prikry	2
+	Analyzing Nash-Williams' partition theorem by means of ordinal types	1991	Igor Kříž Robin Thomas	2
+	A partition theorem for the complete graph on ωω	1972	C. C. Chang	2
+	Countable partition ordinals	2010	René Schipperus	2
+	On quantitative versions of theorems due to F.E. Browder and R. Wittmann	2010	Ulrich Kohlenbach	2
+	Existence theorems for m-accretive operators in Banach spaces	2005	Jesús Garcı́a-Falset Claudio H. Morales	2
+	COMMON FIXED POINTS OF ONE-PARAMETER NONEXPANSIVE SEMIGROUPS	2006	Tomonari Suzuki	2
+	The asymptotic behavior of the solutions of the Cauchy problem generated by ϕ-accretive operators	2005	Jesús Garcı́a-Falset	2
+	Combinatorial Set Theory: Partition Relations for Cardinals	1984	P. Erdős	2
+	Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation	1993	Ulrich Kohlenbach	2