GitHub topics: additive-combinatorics
YaelDillies/MiscYD
Miscellaneous projects I am working on in Lean
Language: Lean - Size: 224 KB - Last synced at: 15 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0
YaelDillies/add-combi
The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics
Language: Shell - Size: 57.6 KB - Last synced at: 15 days ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 1
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: about 2 months ago - Pushed at: about 2 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: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
YaelDillies/ChandraFurstLipton
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
Language: TeX - Size: 96.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1
YaelDillies/LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
Language: Lean - Size: 1.45 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 19 - Forks: 7
YaelDillies/LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Language: Lean - Size: 973 KB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 60 - Forks: 14
PeterEFrancis/addcomb-js
AddComb.js is a javascript library for additive combinatorics calculation.
Language: HTML - Size: 296 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0
