Show simple item record

dc.contributor.authorJoan Arinyo, Robert
dc.contributor.authorTarres Puertas, Marta Isabel
dc.contributor.authorVila Marta, Sebastià
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Disseny i Programació de Sistemes Electrònics
dc.date.accessioned2010-07-07T15:15:04Z
dc.date.available2010-07-07T15:15:04Z
dc.date.created2008
dc.date.issued2008
dc.identifier.citationJoan-Arinyo, R.; Tarres, M.; Vila, S. Geometric constraint graphs decomposition based on computing graph circuits. A: Automated Deduction in Geometry. "Automated Deduction in Geometry". Shanghai: East China Normal University, 2008, p. 96-101.
dc.identifier.urihttp://hdl.handle.net/2117/8061
dc.description.abstractGeometric constraint solving is a growing field which plays a paramount role in industrial applications and that is deeply rooted in automated deduction in geometry. In this work we report on an algorithm to solve geometric constraint-based problems by decomposing biconnected graphs. The algorithm is based on recursively splitting the graph through sets with three vertices located on fundamental circuits of the graph. Preliminary practical experiments suggest that the algorithm runtime is at worst quadratic with the total number of vertices in the graph.
dc.format.extent6 p.
dc.language.isoeng
dc.publisherEast China Normal University
dc.subjectÀrees temàtiques de la UPC::Matemàtiques i estadística::Geometria::Geometria computacional
dc.subject.lcshComputational geometry
dc.subject.lcshComputer-aided design
dc.titleGeometric constraint graphs decomposition based on computing graph circuits
dc.typeConference report
dc.subject.lemacGeometria computacional
dc.subject.lemacDisseny assistit per ordinador
dc.contributor.groupUniversitat Politècnica de Catalunya. GIE - Grup d'Informàtica a l'Enginyeria
dc.rights.accessOpen Access
local.identifier.drac2471267
dc.description.versionPostprint (published version)
local.citation.authorJoan-Arinyo, R.; Tarres, M.; Vila, S.
local.citation.contributorAutomated Deduction in Geometry
local.citation.pubplaceShanghai
local.citation.publicationNameAutomated Deduction in Geometry
local.citation.startingPage96
local.citation.endingPage101


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder