Buscar
Mostrando ítems 1-3 de 3
Tesis Doctoral
Verificación formal en ACL2 del Algoritmo de Buchberger
(2003-12-18)
En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del algoritmo de Buchberger para el cálculo de bases de Gröbner, utilizando para ello un sistema de ...
Tesis Doctoral
Tesis Doctoral
Geometría computacional en superficies de órbitas
(2003)
En los casi treinta años de historia de la Geometría Computacional, sólo recientemente se han comenzado a estudiar problemas en superficies distintas del plano. Estudio que es necesario desde el momento en que surgen ...