Automated deduction in geometry: 6th international workshop, adg 2006, pontevedra, spain, august 31 - september 2, 2006, revised papers
Auteur :
Botana, Francisco
ISBN :
9783540773559
Date de publication :
12 déc. 2007
Dimensions :
23,4 x 15,6 x 1,2 cm
Poids :
355 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. This book presents 13 revised full papers.