Automatic deduction in (dynamic) geometry: Loci computation

Francisco Botana, Miguel A. Abánades. Automatic deduction in (dynamic) geometry: Loci computation. Comput. Geom., 47(1):75-89, 2014. [doi]

Abstract

Abstract is missing.