Publicaciones en las que colabora con Miguel A. Abánades Astudillo (5)

2016

  1. Descubrimiento Automático en GeoGebra: primeros pasos

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

  2. Development of automatic reasoning tools in GeoGebra

    ACM Communications in Computer Algebra, Vol. 50, Núm. 3, pp. 85-88

  3. Towards the automatic discovery of theorems in GeoGebra

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

2014

  1. An algebraic taxonomy for locus computation in dynamic geometry

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

  2. 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)