Proving geometric theorems via Groebner bases theory

Alexandru Horvath