Miniatura

Fitxers

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

Tipus de document

Treball de fi de grau

Data de publicació

2023-01-23

Llicència de publicació

cc-by-nc-nd (c) Laura Ventosa Andreu, 2023
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/199425

Learning-powered computer-assisted counterexample search

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

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

Descripció

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

Matèries

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

Matèries (anglès)

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

Citació

Col·leccions

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

Citació

VENTOSA ANDREU, Laura. Learning-powered computer-assisted counterexample search. [consulta: 25 de febrer de 2026]. [Disponible a: https://hdl.handle.net/2445/199425]

Exportar metadades

JSON - METS

Compartir registre