Debido a la pandemia de COVID-19, la Red EACA no ha podido llevar a cabo sus actividades de forma presencial y ha decidido organizar el Seminario Tapas EACA sobre Álgebra Computacional con el objetivo de mantener el contacto con todos los investigadores interesados en el Álgebra Computacional y sus Aplicaciones y conocer el estado del arte de los últimos avances en este campo.

El formato adoptado consiste en un seminario de 3 charlas de 30 minutos, una vez al mes, impartidas por un investigador experimentado en la materia y dos jóvenes investigadores.

La primera sesión del seminario se celebrará el 3 de junio con las siguientes conferencias:

• 16:30  "What can we learn from Bohemian Matrices?", por Robert M. Corless (Ontario Research Centre for Computer Algebra and The Rotman Institute of Philosophy, Western University, London, Ontario, Canada). 
  At MEGA 2019 in Madrid I gave a talk on some then-recent work on Bohemian matrices, which was joint work with several colleagues. That talk introduced the idea of a family of structured matrices with population taken from a set of bounded height; see www.bohemianmatrices.com. In this talk I look more deeply at a specific family of Bohemian matrices, namely skew-symmetric tridiagonal matrices with various simple populations. There are several surprises even in so simple a family. I will prove a theorem about this family, a theorem that I discovered computationally. It is not a particularly deep theorem, but it has some remarkable effects on the computations with this simple family. The theorem also leads to a dreadful pun (alas, only in English) which I may not be able to prevent myself from inflicting on you. Luckily for me, because the talk will be virtual, you will be unable to throw tomatoes or other vegetables at me in reaction.
  Acceso a la sesión ►
• 17:00  "Hacia una respuesta explícita al problema de la secuencia de polinomios de Shub y Smale", por Fátima Lizarte (Universidad de Cantabria).
  En 1993, Shub y Smale plantearon el problema de encontrar una secuencia de polinomios P_N, con grado(P_N) = N, tal que el condicionamiento de P_N fuese menor o igual que N. Recientemente este problema ha sido resuelto por Beltrán, Etayo, Marzo y Ortega-Cerdà mediante un complejo proceso: tal sucesión es descrita por una fórmula cerrada para N suficientemente grande y desconocido y por un algoritmo de búsqueda para el resto de los casos. Además, los autores demuestran que el condicionamiento del N-ésimo polinomio de dicha secuencia está acotado superiormente por un término de la forma O(√N). En esta charla, describimos una fórmula simple para la sucesión demandada en el problema de Shub y Smale válida para todo N = 4M², con M un entero positivo, obteniendo un valor completamente explícito de la cota superior de su condicionamiento.
  Acceso a la sesión ►
• 17:30  "Bases de Gröbner en álgebra categórica y geometría diferencial, por Xabier García-Martínez (Universidad de Vigo, Spain & Vrije Universiteit Brussel, Belgium).
  En esta charla explicaremos cómo usamos las potentes herramientas de Bases de Gröbner para resolver dos interesantes problemas ajenos al álgebra conmutativa. En el primero, caracterizamos la variedad de álgebras de Lie dentro de todas las variedades de álgebras no asociativas mediante una propiedad categórica (es decir, sin utilizar elementos): es la única cuyas representaciones son representables. El segundo es un problema de geometría diferencial, donde clasificamos las variedades homogéneas conforme Einstein en dimensión 4.
  Acceso a la sesión ►