 | 2011 |
|---|
| 5 |       | Miguel A. Abánades,
Francisco Botana,
Jesús Escribano,
José L. Valcarce:
Using Free Open Source Software for Intelligent Geometric Computing.
ICCSA (4) 2011: 353-367 |
| 4 | | Francisco Botana,
Miguel A. Abánades:
Automatic Deduction in Dynamic Geometry using Sage
THedu'11 2011: 49-62 |
| 2010 |
|---|
| 3 | | Jesús Escribano,
Francisco Botana,
Miguel A. Abánades:
Adding remote computational capabilities to Dynamic Geometry Systems.
Mathematics and Computers in Simulation 80(6): 1177-1184 (2010) |
| 2007 |
|---|
| 2 | | Miguel A. Abánades,
Jesús Escribano,
Francisco Botana:
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.
Calculemus/MKM 2007: 131-145 |
| 1 | | Francisco Botana,
Miguel A. Abánades,
Jesús Escribano:
Computing Locus Equations for Standard Dynamic Geometry Environments.
International Conference on Computational Science (2) 2007: 227-234 |
Data released under the ODC-BY 1.0 license — See also our legal information page