Publicaciones en colaboración con investigadores/as de University of Pisa (5)

2009

  1. On protocols for the automated discovery of theorems in elementary geometry

    Journal of Automated Reasoning, Vol. 43, Núm. 2, pp. 203-236

2007

  1. Foreword from the Editors

    Journal of Symbolic Computation

  2. Magnetism in polymers with embedded gold nanoparticles

    Advanced Materials, Vol. 19, Núm. 6, pp. 875-877

1999

  1. Basicness of Semialgebraic Sets

    Geometriae Dedicata, Vol. 78, Núm. 3, pp. 229-240

1994

  1. An algorithmic criterion for basicness in dimension 2

    Manuscripta Mathematica, Vol. 85, Núm. 1, pp. 45-66