There are 1 repository under ramsey-theory topic.
The research about Ramsey Number based on Python.
The research about Ramsey Number based on C.
A program to analyze and check a specific colorize in Ramsey Number R(5, 5).
A archive repository for a research about colorize the Graphs.
A research repository about the Ramsey numbers and explore the new data in the mathematics field to write an article using One Programming Language.
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.
An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants
Finding Ramsey Graphs using Machine Learning
New lower bounds for some small Ramsey numbers
Recursive formulas for constant balancing numbers.
Classes and algorithms for recursive amoeba trees and general framework for feasible edge replacements.
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.