Buscar
Mostrando ítems 1-5 de 5
Ponencia
The Chemist's Cabinet Puzzle: a polynomial approach
(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.
Ponencia
Invariance properties for coefficients of symmetric functions
(2016)
We show that several of the main structural constants for symmetric functions (Littlewood-Richardson coefficients, Kronecker coefficients, plethysm coefficients, and the Kostka-Foulkes polynomials) share invariance properties ...
Ponencia
Preuve automatique dans le calcul propositionnel et les logiques trivalentes
(1987)
Nous présentons une application des bases de Gröbner (bases standard) d’idéaux de polynômes la vérification des tautologies dans le Calcul Propositionnel et dans trois types de logiques trivalentes. L’idée base est de ...
Ponencia
Lógicas polivalentes y bases de Gröbner
(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 proposicionales polivalentes. La estructura de la comunicación es la siguiente: En la sección 1, ...
Ponencia
Generating partial Hadamard matrices as solutions to a Constraint Satisfaction Problem characterizing cliques
(2017-07)
A procedure is described looking for partial Hadamard matrices, as cliques of a particular subgraph Gt of Ito’s Hadamard Graph Δ(4t) [9]. The key idea is translating the problem of extending a given clique Cm to a larger ...