INVESTIGADORES
FERRARO Sebastian Jose
congresos y reuniones científicas
Título:
Un paquete para cálculos en reticulados
Autor/es:
CECILIA R. CIMADAMORE; SEBASTIÁN J. FERRARO
Lugar:
San Justo, Buenos Aires
Reunión:
Congreso; X CACIC, Congreso Argentino de Ciencias de la Computación; 2004
Resumen:
En este trabajo presentamos un paquete que hemos desarrollado para manejar y visualizar reticulados y álgebras de Lukasiewicz 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.
