Ahmed Guergueb

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Ahmed Guergueb, Jean Mainguené, Marie-Françoise Roy
Examples of Automatic Theorem Proving a Real Geometry. ISSAC (1994)