Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006: revised papers / ed. F. Botana, 2007 r=on-line