An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants
-
Updated
Sep 11, 2024 - Python
An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants
Code accompanying the paper "Small Ramsey numbers for books, wheels, and generalizations"
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.
Finding Ramsey Graphs using Machine Learning
Classes and algorithms for recursive amoeba trees and general framework for feasible edge replacements.
Recursive formulas for constant balancing numbers.
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.
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 C.
The research about Ramsey Number based on Python.
Add a description, image, and links to the ramsey-theory topic page so that developers can more easily learn about it.
To associate your repository with the ramsey-theory topic, visit your repo's landing page and select "manage topics."