Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers - Hong, Hoon; Wang, Dongming (Lecture notes in computer science, 2006)