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

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

ISBN: 84-611-2355-7

Datum der Publikation: 2006

Seiten: 26-30

Art: Buch-Kapitel

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet