Items where authors include "Edmonds, C."
Up a levelArticle
Edmonds, C. orcid.org/0000-0002-8559-9133, Koutsoukou-Argyraki, A. orcid.org/0000-0002-8886-5281 and Paulson, L.C. orcid.org/0000-0003-0288-4279 (2022) Formalising Szemerédi’s regularity lemma and Roth’s theorem on arithmetic progressions in Isabelle/HOL. Journal of Automated Reasoning, 67. 2. ISSN 0168-7433
Proceedings Paper
Koutsoukou-Argyraki, A., Bakšys, M. and Edmonds, C. orcid.org/0000-0002-8559-9133 (2023) A formalisation of the Balog–Szemerédi–Gowers theorem in Isabelle/HOL. In: CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 16-17 Jan 2023, Boston, MA, USA. Association for Computing Machinery (ACM) , pp. 225-238. ISBN 9798400700262
Goyder, E., Lawrence, D., Bullas, A. et al. (4 more authors) (2018) Inequalities in participation in community physical activity events: The case of the five Sheffield parkrun. In: Journal of Physical Activity and Health. 7th International Society for Physical Activity and Health Congress, 15-17 Oct 2018, London, UK. Human Kinetics , S89-S89.