Supporting code for the Tereso del Río Almajano's Thesis titled "Heuristics and Machine Learning to Improve Symbolic Computation Algorithms: Speeding Up Cylindrical Algebraic Decomposition"

This upload contains the dataset and code used throught Tereso del Río Almajano's thesis titled "Heuristics and Machine Learning to Improve Symbolic Computation Algorithms: Speeding Up Cylindrical Algebraic Decomposition" to evaluate the different strategies presented to choose the variable ordering. Moreover, this code also generates multiple figures and tables included in the thesis.