Book chapters (1) Publications in which a researcher has participated

2006

  1. The moment of truth, in automatic theorem proving in elementary geometry: (extended abstract)

    Automated deduction in geometry: extended abstracts ([Vigo : Universidade de Vigo], D.L.), pp. 1-14