Computational algebraic geometry has already shown its great potential as the underlying
tool for implementing automated reasoning algorithms in elementary geometry, in a complex …