Précédent : Actions régionales, nationales et internationales Remonter : Actions régionales, nationales et internationales Suivant : Actions financées par la Commission
Précédent : Actions régionales, nationales et
internationales Remonter : Actions régionales, nationales et
internationales Suivant : Actions financées par la
Commission
En collaboration avec les projets ROBOTVIS et
SAFIR, nous avons formé un groupe de travail sur
la démonstration automatique de théorèmes géométriques, organisé
par Théodore Papadopoulo. Six séances ont eu lieu.