论文信息 - Special track on Geometric Constraints and Reasoning: editorial message - 字舞流文

Special track on Geometric Constraints and Reasoning: editorial message

Geometric Computing and Reasoning (GCR) aims at emphasizing recent trends in the domain of geometric constraint solving and automated, or computer aided deduction in geometry. This year sees the third edition of this technical track of SAC.

Xiao-Shan Gao | Pascal Schreck | Dominique Michelucci

[1] Robert Joan-Arinyo,et al. Elements for a modular dynamic geometry system , 2008, SAC '08.

[2] Britta Denner-Broser. An algorithm for the tracing problem using interval analysis , 2008, SAC '08.

[3] Pascal Schreck,et al. Combining symbolic and numerical solvers to simplify indecomposable systems solving , 2008, SAC '08.

[4] Flávio Keidi Miyazawa,et al. A continuous facility location problem and its application to a clustering problem , 2008, SAC '08.

[5] Hiroshi Hosobe,et al. A constraint hierarchies approach to geometric constraints on sketches , 2008, SAC '08.

[6] Monique Laurent,et al. Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm , 2008, SAC '08.