Project MTM2014-54141-P
Keywords

    Algebraic Curves and Surfaces, Algorithms, Parametrizations, Dynamic Geometry, Automatic Proving, GPS