Using a computer for automatic proving of geometric theorems