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
Libro:
Automated deduction in geometry: extended abstracts

Editorial: [Vigo : Universidade de Vigo], D.L.

ISBN: 84-611-2355-7

Año de publicación: 2006

Páginas: 26-30

Tipo: Capítulo de Libro

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet