Formalización de las matemáticas: aplicaciones en cálculo simbólico y álgebra computacional.

Duration of the 01 of April of 2015 to 31 of March of 2016

Researchers