Automated Deduction in Geometry

Computational complexity Computer graphics Discrete groups Computer science Optical pattern recognition Artificial intelligence Geometry, data processing Automatic theorem proving Logic, symbolic and mathematical Geometry