en Charla

Incidence simplicial matrices formalized in Coq/SSReflect

 

Ponente: Jónathan Heras (Universidad de La Rioja)

Lugar: Aula 105, Edificio Vives

Hora: viernes 24 de junio, 12:30

Se trata de una prueba de tiempo de las comunicación que realizará próximamente en el congreso Conference on Intelligent Computer Mathematics, que se celebrará en Bertinoro (Italia).