GitHub topics: ramsey-theory
LinXueyuanStdio/RamseyGraph
Ramsey Graph Database 拉姆齐图数据库
Language: Python - Size: 172 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
BaseMax/RamseyNumberGraph
The research about Ramsey Number based on Python.
Language: Python - Size: 43 KB - Last synced at: 2 days ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 1
tonamatos/Feasible-Edge-Replacements
Classes and algorithms for recursive amoeba trees and general framework for feasible edge replacements.
Language: Python - Size: 3.67 MB - Last synced at: 15 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
jcpaik/erdos-szekeres-sat
An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants
Language: Python - Size: 8.79 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
gwen-mckinley/ramsey-books-wheels
Code accompanying the paper "Small Ramsey numbers for books, wheels, and generalizations"
Language: Python - Size: 7.72 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
BaseMax/RamseyNumbers
A research repository about the Ramsey numbers and explore the new data in the mathematics field to write an article using One Programming Language.
Language: PHP - Size: 507 KB - Last synced at: 2 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0
camillonunez1998/Ramsey-theorems
This document is my final project to graduate as a mathematician from Industrial University of Santander. This work was supervised by PhD Carlos Enrique Uzcategui Aylwin.
Size: 236 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
jsunny914/ml_ramsey_graphs
Finding Ramsey Graphs using Machine Learning
Language: Python - Size: 5.05 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
tonamatos/ramsey_functions
Explicit Ramsey-theoretical functions and applications for graph theory, additive number theory and ordered lists; created in collaboration with Amber Bajaj during an academic mentorship program.
Language: Jupyter Notebook - Size: 164 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
tonamatos/balanceableGraphs
Recursive formulas for constant balancing numbers.
Language: Jupyter Notebook - Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
BaseMax/RamseyNumber
The research about Ramsey Number based on C.
Language: C - Size: 26.4 KB - Last synced at: 2 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 2
BaseMax/RamseyNumberAnalyzer
A program to analyze and check a specific colorize in Ramsey Number R(5, 5).
Language: C - Size: 2.63 MB - Last synced at: 2 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0
BaseMax/RamseyNumberResearchData
A archive repository for a research about colorize the Graphs.
Language: PHP - Size: 7.64 MB - Last synced at: 2 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0