Publications in collaboration with researchers from University of Pisa (2)

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