Workshop on
Automated Deduction in Geometry

Toulouse, France, September 27-29, 1996


Organized by

Ricardo Caferra (LEIBNIZ-IMAG, Grenoble)
Luis Fariñas del Cerro (IRIT, Toulouse)
He Shi (MMRC-Academia Sinica, Beijing)
Dongming Wang (LEIBNIZ-IMAG, Grenoble)


Sponsored by

Programme de Recherches Avancées de Coopérations Franco-Chinoises (PRA M94-1)
Université Paul Sabatier, Toulouse
PRC-GDR AMI du CNRS


Description | List of Participants | Proceedings