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.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.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.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
dc.description.versionPostprint (published version)
local.citation.authorJoan-Arinyo, R.; Tarres, M.; Vila, S.
local.citation.contributorAutomated Deduction in Geometry
local.citation.publicationNameAutomated Deduction in Geometry

Files in this item


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