Selected topics in geometry with classical vs. computer proving
Auteur :
Pech, Pavel
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789812709424
Date de publication :
11 déc. 2007
Langue :
Anglais
Pays d'origine :
Singapour
Presents various techniques of elimination based on Grobner bases to prove well-known geometrical theorems and formulas. This title solves problems classically - without using computer where possible - so that readers can compare the strengths and weaknesses of both approaches.