Aymeric Vincent

Assistants de preuves pour l’analyse réelle et numérique

Écrit par

dans