#

ramsey

Here are 7 public repositories matching this topic...

jeromegamez / ramsey-uuid-normalizer

Sponsor

Symfony Normalizer and Denormalizer for ramsey/uuid

php symfony serializer normalizer ramsey ramsey-uuid

Updated Apr 4, 2022
PHP

BaseMax / RamseyNumberGraph

The research about Ramsey Number based on Python.

python research python3 research-tool research-project research-data-repository python2 python27 python36 research-paper ramsey research-and-development research-data research-software-engineering ramsey-numbers ramsey-theory ramsey-python ramsey-number-program ramsey-numbers-program ramsey-theorem

Updated Jul 23, 2019
Python

BaseMax / RamseyNumberResearchData

A archive repository for a research about colorize the Graphs.

research graph research-project research-data-repository research-paper ramsey research-and-development research-data ramsey-numbers ramsey-theory ramsey-number-program ramsey-numbers-program ramsey-data research-archive research-backup research-files research-file

Updated Nov 1, 2019
PHP

coq-community / almost-full

Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]

coq termination ramsey paper-artifacts docker-coq-action nix-action

Updated Jan 12, 2022
Coq

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.

search research research-tool research-project research-data-repository one research-paper ramsey research-data ramsey-property ramsey-numbers ramsey-theory one-lang onelang ramsey-program ramsey-number-program ramsey-numbers-program ramsey-one one-ramsey one-language

Updated Aug 10, 2019
PHP

BaseMax / RamseyNumber

The research about Ramsey Number based on C.

c research research-tool research-project research-data-repository research-paper ramsey research-and-development research-data ramsey-property research-software-engineering ramsey-numbers ramsey-theory ramsey-c ramsey-program ramsey-number-program ramsey-numbers-program c-research c-ramsey c-ramsey-number

Updated Jul 29, 2019
C

hydroo / marsey

discontinued - Calculating Ramsey Numbers

number experimentation ramsey

Updated Jul 29, 2011
C++

Improve this page

Add a description, image, and links to the ramsey topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ramsey topic, visit your repo's landing page and select "manage topics."