Campuses:

Some certified methods for Real Solving - applications in robotics

Friday, September 15, 2006 - 10:30am - 11:20am
EE/CS 3-180
Fabrice Rouillier (Institut National de Recherche en Informatique Automatique (INRIA))
No Abstract
MSC Code: 
68T40