Algoritmo cúbico para calcular el tipo Dynkin de una matriz casi Cartan definida positiva.

Ponente(s): Claudia Pérez Ruisánchez, Mario Abarca Sotelo, Daniel Rivera López
El Algoritmo de las Inflaciones es un procedimiento que aparece de forma implícita en una demostración de Ovsienko para la clasificación de formas cuadráticas integrales. La mejor cota conocida para este es exponencial. En este trabajo demostramos que esta cota puede ser reducida a O(n^6). Además proponemos un algoritmo para decidir si una matriz casi Cartan es definida positiva y calcular su tipo Dynkin en O(n^3) operaciones tomando como entrada una matriz entera.