Formalización de las matemáticas: aplicaciones en cálculo simbólico y álgebra computacional. Formalization of mathematics. applications to symbolic computation and computer algebra.

Financed by Ministerio de Economía y Competitividad
Duration of the 01 of January of 2015 to 31 of December of 2018

Researchers

Publications related to the project

Show by pub type