Automatic deduction in (dynamic) geometry: Loci computation | Publicación