Research stage
Stage: Le domaine abstrait des polyedres revisite : representation par contraintes et preuve formelle
Institut National Polytechnique de Grenoble, 2010
o in hac habitasse platea dictumst etiam faucibus cursus