GitHub topics: ramsey
BaseMax/RamseyNumberGraph
The research about Ramsey Number based on Python.
Language: Python - Size: 43 KB - Last synced at: 5 days ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 1
jeromegamez/ramsey-uuid-normalizer
Symfony Normalizer and Denormalizer for ramsey/uuid
Language: PHP - Size: 53.7 KB - Last synced at: 12 days ago - Pushed at: 4 months ago - Stars: 16 - Forks: 5
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: 11 days ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 0
BaseMax/RamseyNumber
The research about Ramsey Number based on C.
Language: C - Size: 26.4 KB - Last synced at: 5 days ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 2
rocq-community/almost-full
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
Language: Coq - Size: 1.47 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
BaseMax/RamseyNumberResearchData
A archive repository for a research about colorize the Graphs.
Language: PHP - Size: 7.64 MB - Last synced at: 11 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0