Conference papers (6) Publications in which a researcher has participated

2018

  1. Detecting truth, just on parts, in automatic reasoning in geometry

    Applications of Computer Algebra: proceedings

  2. Intenciones, procesos, consecuencias en la creación de áreas culturales urbanas. De los museos ilustrados europeos al complejo icónico del EUR_ROMA

    Narrativas urbanas: VIII Jornadas Internacionales Arte y Ciudad

  3. La transformación urbana del área de Progetto Flaminio en Roma: del abandono del establecimiento militar y el concurso para la Ciudad de la Ciencia al actual Distrito Guido Reni

    Ciudad y formas urbanas: perspectivas transversales

  4. Notas sobre la regeneración urbana de Barcelona a través de sus revistas especializadas: 1970-1992. El caso de 2C Construcción de la Ciudad (1972-1985)

    Narrativas urbanas: VIII Jornadas Internacionales Arte y Ciudad

  5. The importance of being Zero∗

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

  6. Towards an automated geometer

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