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

Of Institutional scope.

Researchers

Filter

Julio

Rubio García

Leader

Jesús María

Aransay Azofra

César

Domínguez Pérez

Laureano

Lambán Pardo

María Vico

Pascual Martínez-Losa