QuandleRUN: algorithms for Quandle Theory

Seminario in presenza

Dettagli dell'evento


dalle 16:00 alle 18:00

Persona di riferimento

Aggiungi l'evento al calendario

Relatore: Niccolò Carrivale, Radboud University Nijmegen.

Luogo: Aula 1 (dipartimento di Matematica).
Data e ora: 26/05/2022 ore 16.
Computer algebra involves developing algorithms to carry out exact computations involving algebraic structures. Quandles are algebraic structures that can benefit from the help of computational tools and attention from the community, much like groups. This project introduces a modern tool able to work with quandles: congruences, subuniverses, isomorphisms, and monomorphisms, among others; built on the solid mathematical foundations of the most recent developments in Quandle Theory, and Universal Algebra as well as computational tools that withstood the test of time such as Magma and Rig and modern ones such as CREAM, it is able to obtain useful results at a competitive speed. As an example, it will be shown how to compute and visualise connections among connected quandles.
A new algorithm for computing the congruences of connected quandles, based on the work of dr. Marco Bonatto, will be introduced.
archiviato sotto: , ,