0000000000240386
AUTHOR
Xiao-shan Goo
showing 1 related works from this author
Special track on Geometric Constraints and Reasoning
2008
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.