Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/199425
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Knauer, Kolja | - |
dc.contributor.author | Ventosa Andreu, Laura | - |
dc.date.accessioned | 2023-06-19T08:41:41Z | - |
dc.date.available | 2023-06-19T08:41:41Z | - |
dc.date.issued | 2023-01-23 | - |
dc.identifier.uri | http://hdl.handle.net/2445/199425 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2023, Director: Kolja Knauer | ca |
dc.description.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. | ca |
dc.format.extent | 62 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.rights | cc-by-nc-nd (c) Laura Ventosa Andreu, 2023 | - |
dc.rights | codi: GPL (c) Laura Ventosa Andreu, 2023 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.rights.uri | http://www.gnu.org/licenses/gpl-3.0.ca.html | - |
dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
dc.subject.classification | Teoria de grafs | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Sistemes adaptatius | ca |
dc.subject.classification | Programació (Matemàtica) | ca |
dc.subject.classification | Aprenentatge automàtic | ca |
dc.subject.classification | Demostració automàtica de teoremes | ca |
dc.subject.other | Graph theory | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | Adaptive control systems | en |
dc.subject.other | Mathematical programming | en |
dc.subject.other | Machine learning | en |
dc.subject.other | Automatic theorem proving | en |
dc.title | Learning-powered computer-assisted counterexample search | ca |
dc.type | info:eu-repo/semantics/bachelorThesis | ca |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
Appears in Collections: | Programari - Treballs de l'alumnat Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
tfg_ventosa_andreu_laura.pdf | Memòria | 1.58 MB | Adobe PDF | View/Open |
codi.zip | Codi font | 35.4 kB | zip | View/Open |
This item is licensed under a Creative Commons License