0000000000019533

AUTHOR

Xiao-shan Gao

showing 5 related works from this author

Session details: Geometric computing and reasoning (GCR)

2006

Human–computer interactionComputer scienceSession (computer science)Geometric computingProceedings of the 2006 ACM symposium on Applied computing
researchProduct

Session details: Geometric computing and reasoning

2007

Human–computer interactionComputer scienceSession (computer science)Geometric computingProceedings of the 2007 ACM symposium on Applied computing
researchProduct

Special issue on geometric constraints and reasoning

2012

Computational MathematicsControl and OptimizationComputational Theory and MathematicsGeometry and TopologyData scienceComputer Science ApplicationsMathematicsComputational Geometry
researchProduct

Editorial message

2006

Geometric Computing and Reasoning (GCR) is a new track of SAC and it is dedicated to the recent trends in the domain of geometric constraint solving and automated, or computer aided, deduction in geometry.

Constraint (information theory)Theoretical computer scienceComputer scienceQuantitative Biology::Tissues and OrgansTrack (rail transport)Geometric computingComputingMethodologies_COMPUTERGRAPHICSDomain (software engineering)Proceedings of the 2006 ACM symposium on Applied computing
researchProduct

Session details: Geometric constraints and reasoning

2008

Human–computer interactionComputer scienceSession (computer science)Proceedings of the 2008 ACM symposium on Applied computing
researchProduct