# metadata.dc.description[].value
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2023, Director: Kolja Knauer

# metadata.dc.description.abstract[].value
[en] This thesis explores the great potential of computer-assisted proofs in the advancement of mathematical knowledge, with a special focus on using computers to refute conjectures by finding counterexamples, sometimes a humanly impossible task. In recent years, mathematicians have become more aware that machine learning techniques can be extremely helpful for finding counterexamples to conjectures in a more efficient way than by using exhaustive search methods. In this thesis we do not only present the theoretical background behind some
of these methods but also implement them to try to refute some graph theory conjectures.

# metadata.dc.rights[].value
cc-by-nc-nd (c) Laura Ventosa Andreu, 2023

# metadata.dc.rights[].value
codi: GPL (c) Laura Ventosa Andreu, 2023

# metadata.dc.source[].value
Treballs Finals de Grau (TFG) - Matemàtiques