CIEM 05476
CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Cómo hacer que la Computadora piense por uno en Álgebra Universal
Autor/es:
PEDRO SÁNCHEZ TERRAF
Lugar:
Vaquerías, Valle Hermoso, Córdoba
Reunión:
Congreso; III Encuentro Nacional de Álgebra (elENA3); 2006
Institución organizadora:
Facultad de Matemática, Astronomía y Física (UNC) -- CIEM (CONICET)
Resumen:
En esta charla mostraremos cómo se pueden testear conjeturas de Álgebra Universal mediante el uso de la computadora para fabricar (contra)ejemplos. Los contraejemplos serán álgebras (universales) finitas y como principal herramienta se usa un programa desarrollado por R. Freese y E. Kiss. Sin embargo, ciertos criterios generales que tendremos en cuenta pueden ser útiles para otras áreas de la matemática
