Listar Ponencias (Álgebra) por título
Mostrando ítems 4-5 de 5
-
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 ...
-
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.