The following pages link to Angeliki Koutsoukou-Argyraki (Q472315):
Displaying 11 items.
- Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators (Q472316) (← links)
- Effective asymptotic regularity for one-parameter nonexpansive semigroups (Q499259) (← links)
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- (Q4555782) (← links)
- Effective Rates of Convergence for the Resolvents of Accretive Operators (Q4602172) (← links)
- Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473) (← links)
- Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL (Q5094474) (← links)
- (Q5272532) (← links)
- Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL (Q6156630) (← links)
- Formalisation of additive combinatorics in Isabelle/HOL (invited talk) (Q6642971) (← links)
