Projet

Projet sur: Formalisations en Coq pour la decision de problemes en geometrie algebrique reelle

Université Chouaib Doukkali

Période: du 22-03-2020 à 22-03-2023

Lien

l nisl duis ac nibh fusce lacus purus aliquet at feugiat non pretium quis lectus suspendisse potenti in eleifend quam a odio in hac habitasse platea dictumst maecenas

Responsable