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

Sphère Institutionnel.

Chercheurs

Filtrer

Julio

Rubio García

Responsable

Jesús María

Aransay Azofra

César

Domínguez Pérez

Laureano

Lambán Pardo

María Vico

Pascual Martínez-Losa