An implementation of effective homotopy of fibrations
- Romero, A.
- Rubio, J.
- Sergeraert, F.
Revista:
Journal of Symbolic Computation
ISSN: 0747-7171
Año de publicación: 2019
Volumen: 94
Páginas: 149-172
Tipo: Artículo
lockTexto completo
Repositorio institucional:
lockAcceso abierto
Editor