Computing locus equations for standard dynamic geometry environments
| dc.book.title | Computational Science – ICCS 2007 | |
| dc.contributor.author | Botana, Francisco | |
| dc.contributor.author | Abánades, Miguel Á. | |
| dc.contributor.author | Escribano Martínez, Jesús | |
| dc.date.accessioned | 2023-06-20T13:40:19Z | |
| dc.date.available | 2023-06-20T13:40:19Z | |
| dc.date.issued | 2007 | |
| dc.description | 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II | |
| dc.description.abstract | GLI (Geometric Locus Identifier), an open web-based tool to determine equations of geometric loci specified using Cabri Geometry and The Geometer’s Sketchpad, is described. A geometric construction of a locus is uploaded to a Java Servlet server, where two computer algebra systems, CoCoA and Mathematica, following the Groebner basis method, compute the locus equation and its graph. Moreover, an OpenMath description of the geometric construction is given. GLI can be efficiently used in mathematics education, as a supplement of the locus functions of the standard dynamic geometry systems. The system is located at http://nash.sip.ucm.es/GLI/GLI.html . | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.faculty | Instituto de Matemática Interdisciplinar (IMI) | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/24251 | |
| dc.identifier.doi | 10.1007/978-3-540-72586-2_32 | |
| dc.identifier.isbn | 978-3-540-72585-5 | |
| dc.identifier.officialurl | http://link.springer.com/chapter/10.1007/978-3-540-72586-2_32 | |
| dc.identifier.relatedurl | http://www.springer.com/ | |
| dc.identifier.relatedurl | http://www.researchgate.net/publication/220858250_Computing_Locus_Equations_for_Standard_Dynamic_Geometry_Environments/file/d912f50c239444caa9.pdf | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53317 | |
| dc.issue.number | 4488 | |
| dc.language.iso | eng | |
| dc.page.final | 234 | |
| dc.page.initial | 227 | |
| dc.publisher | Springer | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 004 | |
| dc.subject.keyword | Interactive geometry | |
| dc.subject.keyword | automated deduction | |
| dc.subject.keyword | Locus | |
| dc.subject.keyword | OpenMath | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | Computing locus equations for standard dynamic geometry environments | |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 9b45763e-7701-4878-84c6-1f23986cabfc | |
| relation.isAuthorOfPublication.latestForDiscovery | 9b45763e-7701-4878-84c6-1f23986cabfc |
Download
Original bundle
1 - 1 of 1