Automatic deduction of geometric theorems using the gröbner cover

• Autores: Antón Montes Lozano
• Localización: Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, ISSN 1132-6360, Nº. 43, 2018 (Ejemplar dedicado a: Proceedings of the XVI EACA Zaragoza Encuentros de Algebra Computacional y Aplicaciones), págs. 127-130
• Idioma: inglés
• Enlaces
  • Texto Completo Ejemplar
• Resumen

  • 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.