Show simple item record

dc.contributor.authorBotana Ferreiro, Francisco Ramón 
dc.contributor.authorAbánades Astudillo, Miguel Ángel
dc.contributor.otherUniversidad de Cantabriaes_ES
dc.date.accessioned2014-09-25T12:59:23Z
dc.date.available2014-09-25T12:59:23Z
dc.date.issued2014-01
dc.identifier.issn0925-7721
dc.identifier.issn1879-081X
dc.identifier.otherMTM2011-25816-C02-02
dc.identifier.urihttp://hdl.handle.net/10902/5256
dc.description.abstractA symbolic tool based on open source software that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction is presented. The prototype has been developed as two different worksheets for the open source computer algebra system Sage, corresponding to two different ways of coding a geometric construction, namely with the open source dynamic geometry system GeoGebra or using the common file format for dynamic geometry developed by the Intergeo project. Locus computation algorithms based on Automatic Deduction techniques are recalled and presented as basic for an efficient treatment of advanced methods in dynamic geometry. Moreover, an algorithm to eliminate extraneous parts in symbolically computed loci is discussed. The algorithm, based on a recent work on the Gröbner cover of parametric systems, identifies degenerate components and extraneous adherence points in loci, both natural byproducts of general polynomial algebraic methods. Several examples are shown in detail.es_ES
dc.format.extent31 p.es_ES
dc.language.isoenges_ES
dc.publisherElsevieres_ES
dc.rights© 2013 Elsevier B.V., This is the author’s version of a work that was accepted for publication in Computational Geometry. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Computational Geometry, Vol. 47, Iss. 1, Pp. 75–89, (2014), DOI:10.1016/j.comgeo.2013.07.001es_ES
dc.sourceComputational Geometry, Vol. 47, Iss. 1, Pp. 75–89, (2014)es_ES
dc.subject.otherAutomatic deduction in geometryes_ES
dc.subject.otherLocuses_ES
dc.subject.otherSagees_ES
dc.subject.otherGeoGebraes_ES
dc.subject.otherGröbner coveres_ES
dc.titleAutomatic Deduction in (Dynamic) Geometry: Loci Computationes_ES
dc.typeinfo:eu-repo/semantics/articlees_ES
dc.relation.publisherVersionhttp://dx.doi.org/10.1016/j.comgeo.2013.07.001es_ES
dc.rights.accessRightsopenAccesses_ES
dc.identifier.DOI10.1016/j.comgeo.2013.07.001
dc.type.versionacceptedVersiones_ES


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record