Now showing items 1-6 of 6

    • Computing parameter ranges in constructive geometric constraint solving: A correctness proof 

      Hidalgo Garcia, Marta; Joan Arinyo, Robert; Soto Riera, Antoni (2011)
      External research report
      Open Access
      In parametric design, changing values of parameters to get different solution instances to the problem at hand is a paramount operation. One of the main issues when generating the solution instance for the actual set of ...
    • Geometric constraint problems and solution instances 

      Hidalgo Garcia, Marta; Joan Arinyo, Robert; Soto Riera, Antoni (2010-05)
      External research report
      Open Access
      Geometric constraint solving is a growing field devoted to solve geometric problems defined by relationships, called constraints, established between the geometric elements. In this work we show that what characterizes a ...
    • h-graphs : a new representation for tree decompositions of graphs 

      Hidalgo Garcia, Marta; Joan Arinyo, Robert (2015-10-01)
      Article
      Open Access
      In geometric constraint solving, 2D well constrained geometric problems can be abstracted as Laman graphs. If the graph is tree decomposable, the constraint-based geometric problem can be solved by a Decomposition-Recombination ...
    • h-graphs: A new representation for tree decompositions of graphs 

      Hidalgo Garcia, Marta; Joan Arinyo, Robert (2014)
      External research report
      Open Access
      In geometric constraint solving, well constrained geometric problems can be abstracted as Laman graphs. If the graph is tree decomposable, the constraint-based geometric problem can be solved by a Decomposition-Recombination ...
    • The Reachability problem in constructive geometric constraint solving based dynamic geometry 

      Hidalgo Garcia, Marta; Joan Arinyo, Robert (2011)
      External research report
      Open Access
      An important issue in dynamic geometry is the reachability problem that asks whether there is a continuos path that, from a given starting geometric configuration, continuously leads to an ending configuration. In this ...
    • The Reachability problem in constructive geometric constraint solving based dynamic geometry 

      Hidalgo Garcia, Marta; Joan Arinyo, Robert (2013-03)
      Article
      Restricted access - publisher's policy
      An important issue in dynamic geometry is the reachability problem that asks whether there is a continuous path that, from a given starting geometric configuration, continuously leads to an ending configuration. In this ...