Achegas congreso (4) Publicacións nas que participase algún/ha investigador/a

2002

  1. A dynamic-symbolic interface for geometric theorem discovery

    Computers and Education

  2. Envolventes, cáusticas, podarias ...: extendiendo la cooperación entre la Geometría Dinámica y el Cálculo Simbólico

    Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002

  3. Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments

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

  4. Some interpolation results that are the exclusive property of compact operators

    Royal Society of Edinburgh - Proceedings A