Solving Dynamic Geometric Constraints Involving Inequalities - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

Solving Dynamic Geometric Constraints Involving Inequalities

Hoon Hong
  • Fonction : Auteur
Liyun Li
  • Fonction : Auteur
Tielin Liang
  • Fonction : Auteur

Résumé

This paper presents a specialized method for solving dynamic geometric constraints involving equalities and inequalities. The method works by decomposing the system of constraints into finitely many explicit solution representations in terms of parameters with radicals using triangular decomposition and real quantifier elimination. For any given values of the parameters, if they verify some set of computed relations, the values of the dependent variables may be easily computed by direct evaluation of the corresponding explicit expressions. The effectiveness of our method and its experimental implementation is illustrated by some examples of diagram generation.

Dates et versions

hal-01351426 , version 1 (03-08-2016)

Identifiants

Citer

Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang. Solving Dynamic Geometric Constraints Involving Inequalities. The 8th International Conference on Artificial Intelligence and Symbolic Computation, Sep 2006, Beijing, China. pp.181-195, ⟨10.1007/11856290_17⟩. ⟨hal-01351426⟩
62 Consultations
0 Téléchargements

Altmetric

Partager

More