Computer aided proof in plane geometry. Algebraic structures arising from geometric objects. Some topics in computational geometry.

None