The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics
-
Updated
Apr 12, 2026 - HTML
The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics
Grande médiathèque numérique olympique EMPIMO
Basic Combinatorics course cover and touch upon a variety of topics in Combinatorics, like Ramsey Theory, Extremal Graph Theory, Extremal Set Theory, the Partition Function and Enumerative Problems. its also encounter a variety of tools and techniques, like Generating Functions, the Probabilistic Method and tools from Linear Algebra
AddComb.js is a javascript library for additive combinatorics calculation.
Lecture notes, assignments, and other materials for a one-semester introductory course on topics in logic, combinatorics, and computer science applications thereof.
A handy app to solve for all possible words from resettable, word/letter-based combination locks
Suirodoku — The first playable Graeco-Latin Sudoku square combining digits and colors
Educational probability engine for Cash4Life demonstrating mathematical truth about lottery odds. Created by Shilezi. Live demo: https://shilezi.github.io/cash4life-probability-analyzer/
Radigen 🧪⚛️: Python-based chemical kernel for simulating oxidation reactions from prompts
oeis contributions and results on finite additive 2-bases
Notes on finite geometry by Steven H. Cullinane
Interactive framework for exploring extremal solutions to hard optimization problems.
Hamilton Cycles in the Noncrossing Partition Refinement Graph — companion code, data, and interactive proof explorer
Copy of https://tieknots.how with a few tweaks
Visualizing the astronomical magnitude of 52! through cosmic metaphors
Add a description, image, and links to the combinatorics topic page so that developers can more easily learn about it.
To associate your repository with the combinatorics topic, visit your repo's landing page and select "manage topics."