Finding Ramsey Graphs using Machine Learning

Recursive formulas for constant balancing numbers.

Classes and algorithms for recursive amoeba trees and general framework for feasible edge replacements.

An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants

New lower bounds for some small Ramsey numbers

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.

Code accompanying the paper "Small Ramsey numbers for books, wheels, and generalizations"

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.

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.

The research about Ramsey Number based on Python.