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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | text (thesis) |
| Langue: | spa |
| Publié: |
Universidad de La Rioja (España)
2006
|
| Sujets: | |
| Accès en ligne: | https://dialnet.unirioja.es/servlet/oaites?codigo=403 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|