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

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

ISBN: 84-611-2355-7

Argitalpen urtea: 2006

Orrialdeak: 26-30

Mota: Liburuko kapitulua

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet