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

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.

Detalles Bibliográficos
Autor principal: Renison, Iván Ariel
Otros Autores: Vay, Cristian Damián
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2025
Materias:
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
Acceso en línea:http://hdl.handle.net/11086/555071
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-555071
record_format dspace
spelling I10-R141-11086-5550712025-03-12T14:51:23Z Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo Renison, Iván Ariel Vay, Cristian Damián Pagano, Miguel María 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 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. 2025-03-10T14:51:03Z 2025-03-10T14:51:03Z 2025-03-06 bachelorThesis http://hdl.handle.net/11086/555071 spa Attribution 4.0 International http://creativecommons.org/licenses/by/4.0/
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
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
spellingShingle 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
Renison, Iván Ariel
Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
topic_facet 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
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.
author2 Vay, Cristian Damián
author_facet Vay, Cristian Damián
Renison, Iván Ariel
format bachelorThesis
author Renison, Iván Ariel
author_sort Renison, Iván Ariel
title Implementación de bases de Gröbner no conmutativas en C++ con un poquito de paralelismo
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
publishDate 2025
url http://hdl.handle.net/11086/555071
work_keys_str_mv AT renisonivanariel implementaciondebasesdegrobnernoconmutativasencconunpoquitodeparalelismo
_version_ 1827088577984462848

Ejemplares similares