Formalisation of the Kelley-Meka bound on Roth numbers
-
Updated
May 31, 2024 - Lean
Formalisation of the Kelley-Meka bound on Roth numbers
Completion and embedding of latin squares in R.
Classification of combinatorial objects
Tool for Solving Problems in Combinatorics and Computational Mathematics
Generates universal cycles of k-permutations for a given set of symbols.
This package contains functions to find similarities between arrays
All problems solutions From Codeforces.com Website
A Python package for calculating and performing basic manipulations on symmetric polynomials.
Python dice probability package.
Embedding latin rectangles in latin squares.
Competitive programming related stuffs (Olympiads, Codeforces, USACO)
浅谈递推关系的常见求解方法 - HSEFZ 2612 高一下数学小组展示
Enumeration of latin squares with R and Minion.
Template metaprogramming library originally spun off from CppOrderBook project.
A monograph about Room squares.
Procedural text generation for foreign languages
A programmatic model for Hangul, the Korean alphabet
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."