Automated theorem proving in incidence geometry : A bracket algebra based elimination method - HONGBO LI; YIHONG WU (ADG 2000 : automated deduction in geometry (Zurich, 25-27 September 2000, revised papers), 2001)
text