by Pavel Pech
"This textbook presents various automatic techniques based on Grobner bases elimination to prove well-known geometrical theorems and formulas. Besides proving theorems, these methods are used to di…