Resumen de Automatic deduction of geometric theorems using the gröbner cover
We have developed an automatic algorithm for obtaining the supplementary conditions for a proposition to become a theorem. It has been implemented in the Singular library “grobcov.lib". We give here an approach to it.
