Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo

Autores
Renison, Iván Ariel
Año de publicación
2025
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Vay, Cristian Damián
Pagano, Miguel María
Descripción
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2025.
Fil: Renison, Iván Ariel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Esta tesis presenta una implementación en C++ para el cálculo de las llamadas bases de Gröbner no conmutativas. Ya existían previamente algunas implementaciones de dicho cálculo, pero la que se presenta en esta tesis es la primera en C++ y además incluye un poquito de paralelismo. En los primeros capítulos se proporciona una explicación matemática completa del tema, para que la tesis sea autocontenida y en los restantes se explica la librería de C++ donde se implementó el cálculo (junto con las estructuras y algoritmos auxiliares necesarios) y se la compara con una de las implementaciones anteriores.
This thesis presents an implementation in C++ for the computation of the so called noncommutative Gröbner bases. Some implementations of this computation already exist previously, but the one presented in this thesis is the first one in C++ and it also includes a little bit of parallelism. In the first chapters a complete mathematical explanation of the subject is provided, so that the thesis is self contained, and in the remaining chapters the C++ library where the calculation was implemented (together with the necessary structures and auxiliary algorithms) is explained and compared with one of the previous implementations.
Fil: Renison, Iván Ariel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Materia
Computación simbólica
Computación algebráica
Polinomios no conmutativos
Bases de Gröbner no conmutativas
Algoritmo de Buchberger no conmutativo
Algoritmo F4 no conmutativo
Sistemas de reescritura
Implementación
Symbolic Computing
Algebraic Computing
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/555071
Acceder
id RDUUNC_d301e947a399267a7499ca518be3c424
oai_identifier_str oai:rdu.unc.edu.ar:11086/555071
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismoRenison, Iván ArielComputación simbólicaComputación algebráicaPolinomios no conmutativosBases de Gröbner no conmutativasAlgoritmo de Buchberger no conmutativoAlgoritmo F4 no conmutativoSistemas de reescrituraImplementaciónSymbolic ComputingAlgebraic ComputingTesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2025.Fil: Renison, Iván Ariel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Esta tesis presenta una implementación en C++ para el cálculo de las llamadas bases de Gröbner no conmutativas. Ya existían previamente algunas implementaciones de dicho cálculo, pero la que se presenta en esta tesis es la primera en C++ y además incluye un poquito de paralelismo. En los primeros capítulos se proporciona una explicación matemática completa del tema, para que la tesis sea autocontenida y en los restantes se explica la librería de C++ donde se implementó el cálculo (junto con las estructuras y algoritmos auxiliares necesarios) y se la compara con una de las implementaciones anteriores.This thesis presents an implementation in C++ for the computation of the so called noncommutative Gröbner bases. Some implementations of this computation already exist previously, but the one presented in this thesis is the first one in C++ and it also includes a little bit of parallelism. In the first chapters a complete mathematical explanation of the subject is provided, so that the thesis is self contained, and in the remaining chapters the C++ library where the calculation was implemented (together with the necessary structures and auxiliary algorithms) is explained and compared with one of the previous implementations.Fil: Renison, Iván Ariel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Vay, Cristian DamiánPagano, Miguel María2025-03-06info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/555071spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-04T12:32:36Zoai:rdu.unc.edu.ar:11086/555071Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:32:36.286Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
title Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
spellingShingle Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
Renison, Iván Ariel
Computación simbólica
Computación algebráica
Polinomios no conmutativos
Bases de Gröbner no conmutativas
Algoritmo de Buchberger no conmutativo
Algoritmo F4 no conmutativo
Sistemas de reescritura
Implementación
Symbolic Computing
Algebraic Computing
title_short Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
title_full Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
title_fullStr Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
title_full_unstemmed Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
title_sort Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
dc.creator.none.fl_str_mv Renison, Iván Ariel
author Renison, Iván Ariel
author_facet Renison, Iván Ariel
author_role author
dc.contributor.none.fl_str_mv Vay, Cristian Damián
Pagano, Miguel María
dc.subject.none.fl_str_mv Computación simbólica
Computación algebráica
Polinomios no conmutativos
Bases de Gröbner no conmutativas
Algoritmo de Buchberger no conmutativo
Algoritmo F4 no conmutativo
Sistemas de reescritura
Implementación
Symbolic Computing
Algebraic Computing
topic Computación simbólica
Computación algebráica
Polinomios no conmutativos
Bases de Gröbner no conmutativas
Algoritmo de Buchberger no conmutativo
Algoritmo F4 no conmutativo
Sistemas de reescritura
Implementación
Symbolic Computing
Algebraic Computing
dc.description.none.fl_txt_mv Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2025.
Fil: Renison, Iván Ariel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Esta tesis presenta una implementación en C++ para el cálculo de las llamadas bases de Gröbner no conmutativas. Ya existían previamente algunas implementaciones de dicho cálculo, pero la que se presenta en esta tesis es la primera en C++ y además incluye un poquito de paralelismo. En los primeros capítulos se proporciona una explicación matemática completa del tema, para que la tesis sea autocontenida y en los restantes se explica la librería de C++ donde se implementó el cálculo (junto con las estructuras y algoritmos auxiliares necesarios) y se la compara con una de las implementaciones anteriores.
This thesis presents an implementation in C++ for the computation of the so called noncommutative Gröbner bases. Some implementations of this computation already exist previously, but the one presented in this thesis is the first one in C++ and it also includes a little bit of parallelism. In the first chapters a complete mathematical explanation of the subject is provided, so that the thesis is self contained, and in the remaining chapters the C++ library where the calculation was implemented (together with the necessary structures and auxiliary algorithms) is explained and compared with one of the previous implementations.
Fil: Renison, Iván Ariel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
description Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2025.
publishDate 2025
dc.date.none.fl_str_mv 2025-03-06
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/555071
url http://hdl.handle.net/11086/555071
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1842349644676333568
score 13.13397

Publicaciones similares