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

Duration: from 01 April 2015 to 31 March 2016

Researchers