|
|
|
|
|
Departamento de Matemáticas y Computación
|
|
César Domínguez research web page
|
|
|
|
|
|
|
|
|
|
Effective
Homology of Bicomplexes, formalized in Coq. Source
files
|
|
|
|
|
|
|
|
|
Fecha de última modificación:
16 de enero de 2010
Para cualquier consulta o
sugerencia: cesar.dominguez@unirioja.es
|