Automated deduction in geometry : 5th International workshop, ADG 2004Gainesville, Fl, USA, September 16-18, 2004: revised papers / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.