Publikationen in Zusammenarbeit mit Forschern von 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