Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

tfg_ventosa_andreu_laura.pdf (1.55 MB)
codi.zip (35.4 KB)

Document type

Bachelor thesis

Publication date

2023-01-23

Publication license

cc-by-nc-nd (c) Laura Ventosa Andreu, 2023
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/199425

Learning-powered computer-assisted counterexample search

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

Abstract

[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.

Description

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2023, Director: Kolja Knauer

Subject

Teoria de grafs, Treballs de fi de grau, Sistemes adaptatius, Programació (Matemàtica), Aprenentatge automàtic, Demostració automàtica de teoremes

Subject (English)

Graph theory, Bachelor's theses, Adaptive control systems, Mathematical programming, Machine learning, Automatic theorem proving

Citation

Collections

Treballs Finals de Grau (TFG) - Matemàtiques
Programari - Treballs de l'alumnat

Citation

VENTOSA ANDREU, Laura. Learning-powered computer-assisted counterexample search. [consulted: 16 of August of 2026]. Available at: https://hdl.handle.net/2445/199425

Export metadata

JSON - METS

Share record