Browsing Ponencias (Álgebra) by Issue Date 

Browsing Ponencias (Álgebra) by Issue Date

Now showing items 1-5 of 5

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

      Lógicas polivalentes y bases de Gröbner 

      Alonso Jiménez, José Antonio (1987)
      El objetivo de la comunicación es presentar una aplicación de las bases de Gröbner a la demostración automática en lógicas ...
    • Presentation
      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.
    • Presentation
      Icon

      Invariance properties for coefficients of symmetric functions 

      Briand, Emmanuel; Orellana, Rosa C.; Rosas Celis, Mercedes Helena (2016)
      We show that several of the main structural constants for symmetric functions (Littlewood-Richardson coefficients, Kronecker ...
    • Presentation
      Icon

      Generating partial Hadamard matrices as solutions to a Constraint Satisfaction Problem characterizing cliques 

      Álvarez Solano, Víctor; Armario Sampalo, José Andrés; Falcón Ganfornina, Raúl Manuel; Frau García, María Dolores; Gudiel Rodríguez, Félix; Güemes Alzaga, María Belén; Osuna Lucena, Amparo (2017-07)
      A procedure is described looking for partial Hadamard matrices, as cliques of a particular subgraph Gt of Ito’s Hadamard ...