Ponencias (Álgebra)
Recent Submissions
-
Presentation
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 ...
-
Presentation
Invariance properties for coefficients of symmetric functions
(2016)We show that several of the main structural constants for symmetric functions (Littlewood-Richardson coefficients, Kronecker ...
-
Presentation
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 ...
-
Presentation
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 ...
-
Presentation
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.