Publicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (4)

2014

  1. An algebraic taxonomy for locus computation in dynamic geometry

    CAD Computer Aided Design, Vol. 56, pp. 22-33

  2. Generalizing the Steiner-Lehmus theorem using the Gröbner cover

    Mathematics and Computers in Simulation, Vol. 104, pp. 67-81

  3. Software using the Gröbner cover for geometrical loci computation and classification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)