Automated deduction in geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers - Botana, Francisco (Lecture Notes in Computer Science,, 2007)