Login / Signup
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.
Chelsea Edmonds
Angeliki Koutsoukou-Argyraki
Lawrence C. Paulson
Published in:
CoRR (2022)
Keyphrases
</>
natural deduction
theorem prover
intuitionistic logic
inference rules
theorem proving
first order logic
cut elimination
higher order logic
sequent calculus
arithmetic operations
floating point
johnson lindenstrauss
social networks
machine learning
constraint qualification
linear logic
von neumann
data mining