Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers - Winkler, Franz, 1955- (Lecture notes in computer science ;, 2004)