On using OpenMath for representing dynamic geometry constructionsextended abstract

  1. Jesús Escribano
  2. Miguel Ángel Abánades
  3. José L. Valcarce
  4. Francisco Ramón Botana Ferreiro
Livre:
Automated deduction in geometry: extended abstracts

Éditorial: [Vigo : Universidade de Vigo], D.L.

ISBN: 84-611-2355-7

Année de publication: 2006

Pages: 26-30

Type: Chapitre d'ouvrage