An implementation of effective homotopy of fibrations
- Romero, A.
- Rubio, J.
- Sergeraert, F.
Revue:
Journal of Symbolic Computation
ISSN: 0747-7171
Année de publication: 2019
Volumen: 94
Pages: 149-172
Type: Article
lockTexte intégral
Dépôt institutionnel:
lockAccès ouvert
Editor