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.

Funded by Ministerio de Economía y Competitividad
Duration: from 01 January 2015 to 31 December 2018

Researchers

Publications related to the project

Show by type