Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Variation of geometrics based on a geometric-reasoning method
Computer-Aided Design
Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
A graph-constructive approach to solving systems of geometric constraints
ACM Transactions on Graphics (TOG)
Symbolic constraints in constructive geometric constraint solving
Journal of Symbolic Computation - Special issue: parametric algebraic curves and applications
Combining constructive and equational geometric constraint-solving techniques
ACM Transactions on Graphics (TOG)
Juno, a constraint-based graphics system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Sketch-based pruning of a solution space within a formal geometric constraint solver
Artificial Intelligence
Decomposition plans for geometric constraint systems, part I: performance measures for CAD
Journal of Symbolic Computation
Decomposition plans for geometric constraint problems, part II: new algorithms
Journal of Symbolic Computation
Data Structures and Algorithms
Data Structures and Algorithms
La programmation loique par contraintes pour l'aide à l'enseignant
ITS '96 Proceedings of the Third International Conference on Intelligent Tutoring Systems
On the Domain of Constructive Geometric Constraint Solving Techniques
SCCG '01 Proceedings of the 17th Spring conference on Computer graphics
The Interactive Geometry Software Cinderella.2
The Interactive Geometry Software Cinderella.2
Constraint based automatic construction and manipulation of geometric figures
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A correct rule-based geometric constraint solver
Computers and Graphics
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry
Journal of Automated Reasoning
Hi-index | 0.00 |
Dynamic geometry systems are tools for geometric visualization. They allow the user to define geometric elements, establish relationships between them and explore the dynamic behavior of the remaining geometric elements when one of them is moved. The main problem in dynamic geometry systems is the ambiguity that arises from operations that lead to more than one possible solution. Most dynamic geometry systems deal with this problem in such a way that the solution selection method leads to a fixed dynamic behavior of the system. This is specially annoying when the behavior observed is not the one the user intended. In this work we propose a modular architecture for dynamic geometry systems built upon a set of functional units which will allow us to apply some well-known results from the Geometric Constraint Solving field. A functional unit called filter will provide the user with tools to unambiguously capture the expected dynamic behavior of a given geometric problem.