• Ponencia
      Icon

      Preuve automatique dans le calcul propositionnel et les logiques trivalentes 

      Alonso Jiménez, José Antonio; Briales Morales, Emilio (1987)
      Nous présentons une application des bases de Gröbner (bases standard) d’idéaux de polynômes la vérification des tautologies ...
    • Ponencia
      Icon

      The Chemist's Cabinet Puzzle: a polynomial approach 

      Gago Vargas, Manuel Jesús; Hartillo Hermoso, Isabel; Ucha Enríquez, José María (Universidad de Granada. Departamento de Álgebra, 2008-09)
      Realizamos un análisis del juego conocido por el herbolario. Se modeliza su solución mediante un sistema polinómico, y deducimos el número de soluciones a partir de herramientas de Álgebra Conmutativa.