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

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

ISBN: 84-611-2355-7

Year of publication: 2006

Pages: 26-30

Type: Book chapter

DIALNET GOOGLE SCHOLAR
Data source: Dialnet