Automated deduction in geometry: international workshop on automated deduction in geometry, toulouse, france, september 27-29, 1996: selected papers
Auteur :
Wang, Dongming
ISBN :
9783540642978
Date de publication :
18 mars 1998
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
780 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in France, in 1996. This book covers automated geometric reasoning and the deduction applied to Dixon resultants, Grobner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion.