Search
Now showing items 1-5 of 5
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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.
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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, ...
Presentation
![With access to the full text Icon](/themes/idUS//images/acceso/opened_access.png)
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 ...