Présentation des thèmes de recherche et des...
Une introduction aux géométries classiques et...
Présentation de l'association, des activités,...
Articles et cours de théorie de la démonstration.
Société éditrice de la gamme de logiciels de...