Appartenir pour séparer et folklore
Jean François Maurras – Faculté des Sciences de Luminy, Université de la Méditerranée, France
Dans cet exposé nous montrons que, pour lespolyèdres, on peut déduire un oracle "Séparer" à partir d'un oracle "Appartenir", en utilisant des outils du folklore de la programmation mathématique.