Título: Un paquete para cálculos en reticulados
Autores: Ferraro, Sebastián J.
Cimadamore, Cecilia R.
Fecha: 2012-10-12
2004
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: álgebra computacional
informática aplicada a matemática
lógica algebraica
reticulados distributivos
SOFTWARE ENGINEERING
Ciencias Informáticas
base de datos
Descripción: En este trabajo presentamos un paquete que hemos desarrollado para manejar y visualizar reticulados y álgebras de Łukasiewicz finitos. Este provee al investigador matemático herramientas para realizar en forma sencilla cálculos que normalmente conllevan un arduo trabajo. El paquete ha sido probado con numerosos ejemplos por miembros de un grupo de investigación en lógica algebraica de nuestra universidad. Su diseño orientado a objetos prevé su expansión futura.
Eje: I - Workshop de Ingeniería de Software y Base de Datos
Idioma: Español