Ponente: Jónathan Heras Vicente (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 27 de marzo, 13:00
Jónathan Heras
Hay 37 posts etiquetados con Jónathan Heras.
Towards a certified computation of homology groups for digital images
Ponente: Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 31 de enero, 13:00
Se trata de una prueba de tiempo de la charla que Jónathan impartirá en el congreso: “4th International Workshop on Computational Topology in Image Context” que se celebrará la semana próxima en Bertinoro (Italia).
Los autores del trabajo son: Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza y Vincent Siles.
Topología Algebraica Computacional en el procesamiento de imágenes biomédicas
Ponentes: Jónathan Heras (Universidad de La Rioja), Gadea Mata (Universidad de La Rioja), María Poza (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 15 de noviembre, 13:00
Se trata de una prueba de tiempo de la charla que impartirán en el acto en el que recibirán el premio AICA (Aplicaciones Industriales del Álgebra Computacional),
que se otorgará en Granada, el viernes 18, en las Jornadas del mismo nombre, AICA.
Incidence simplicial matrices formalized in Coq/SSReflect
A system for computing and reasoning in Algebraic Topology
Mathematical Knowledge Management in Algebraic Topology
ACL2 verification of Simplicial Complexes programs for the Kenzo system
Formal libraries for Algebraic Topology: status report
Matrices de incidencia de complejos simpliciales en SSreflect: “after” Niza
Ponentes: María Poza (Universidad de La Rioja), Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 7 de octubre, 13:00
En la charla nos informarán sobre los avances realizados en su exitosa estancia en el centro del INRIA de Sophia-Antipolis (Niza, Francia).