Jose
Divasón Mallagaray
PROFESOR CONTRATADO DOCTOR -TIPO 1
Universidad Nacional de Colombia
Bogotá, ColombiaPublicaciones en colaboración con investigadores/as de Universidad Nacional de Colombia (2)
2021
-
Integration of the kenzo system within sagemath for new algebraic topology computations
Mathematics, Vol. 9, Núm. 7
-
Q-learning and MCTS techniques for improving an algorithm to compute discrete vector fields on finite topological spaces
9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), short and work-in-progress papers