Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang. Solving Dynamic Geometric Constraints Involving Inequalities. In Jacques Calmet, Tetsuo Ida, Dongming Wang, editors, Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Volume 4120 of Lecture Notes in Computer Science, pages 181-195, Springer, 2006. [doi]
Abstract is missing.