Automatic deduction in (dynamic) geometry: Loci computation.

Francisco Botana Miguel A. Abánades

Published in: Comput. Geom. (2014)

Keyphrases

dynamic environments
semi automatic
database
fully automatic
dynamically changing
three dimensional
higher order
context sensitive
machine learning
multiscale
multi agent systems
geometric features
automated deduction