Topic: "additive-combinatorics"
YaelDillies/LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Language: Lean - Size: 1000 KB - Last synced at: 27 days ago - Pushed at: 28 days ago - Stars: 63 - Forks: 14
YaelDillies/LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
Language: Lean - Size: 1.45 MB - Last synced at: 12 days ago - Pushed at: 14 days ago - Stars: 20 - Forks: 8
YaelDillies/add-combi
The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics
Language: Shell - Size: 61.5 KB - Last synced at: 21 days ago - Pushed at: 23 days ago - Stars: 8 - Forks: 1
YaelDillies/MiscYD
Miscellaneous projects I am working on in Lean
Language: Lean - Size: 142 KB - Last synced at: 21 days ago - Pushed at: 23 days ago - Stars: 4 - Forks: 1
YaelDillies/ChandraFurstLipton
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
Language: TeX - Size: 115 KB - Last synced at: 21 days ago - Pushed at: 23 days ago - Stars: 3 - Forks: 2
PeterEFrancis/addcomb-js
AddComb.js is a javascript library for additive combinatorics calculation.
Language: HTML - Size: 296 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
THEForgiven/srtt-preprint
Preprint + minimal, reproducible code/data for the Structure–Randomness Transfer Theorem (SRTT); headless runner, HTML report, CI, Pages.
Language: Shell - Size: 267 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
DynMEP/ZeroSumFreeSets-Z4
Explicit constructions of large 3-zero-sum-free subsets in (Z/4Z)^n. Baseline size 176, refined 512 for n=5. Code and data for additive combinatorics.
Language: Python - Size: 31.3 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
