Razonamiento mecanizado en álgebra homológica
We face the problem of obtaining a certified version of a crucial algorithm in the field of Homological Algebra, known as "Perturbation Lemma". This lemma is intensively used in the software system "Kenzo", devoted to symbolic computation in Homological Algebra. To this end, we u...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | text (thesis) |
| Language: | spa |
| Published: |
Universidad de La Rioja (España)
2006
|
| Subjects: | |
| Online Access: | https://dialnet.unirioja.es/servlet/oaites?codigo=403 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|