Number 1, November 1996.
Number 1, November 1996.
by Dongming Wang, Institut IMAG, Grenoble (France) wang@leibniz.imag.fr
The workshop on Automated Deduction in Geometry held in Toulouse, France, September 27-29, 1996 brought together 20 active researchers (from Austria, China, France, Germany, Italy, Japan, Spain and USA) working on various aspects of the workshop's subject. At the workshop were given 16 presentations including two one-hour invited talks by Deepak Kapur and Volker Weispfenning, with both insight surveys and original research contributions. The workshop represents the current state of the art and its scientific level is very high. All the speakers and participants were by invitation and nominated according to their academic achievements and international reputation, and most of them are prominent researchers and scientists.
The workshop was organized by Ricardo Caferra (LEIBNIZ-IMAG, Grenoble), Luis Fariñas del Cerro (IRIT, Toulouse), He Shi (MMRC-Academia Sinica, Beijing) and Dongming Wang (LEIBNIZ-IMAG, Grenoble) and sponsored by Programme de Recherches Avancées de Coopérations Franco-Chinoises (PRA M94-1) and Université Paul Sabatier, Toulouse. The final program is as follows.
Contents