A maple package for automatic theorem proving and discovery in 3D-geometry

  1. E. Roanes-Macías
  2. E. Roanes-Lozano
Liburua:
Automated deduction in geometry: extended abstracts

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

ISBN: 84-611-2355-7

Argitalpen urtea: 2006

Orrialdeak: 125-140

Mota: Liburuko kapitulua

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet