An algebraic taxonomy for locus computation in dynamic geometry | Publicación