An implementation of effective homotopy of fibrations
- Romero, A.
- Rubio, J.
- Sergeraert, F.
Revista:
Journal of Symbolic Computation
ISSN: 0747-7171
Ano de publicación: 2019
Volume: 94
Páxinas: 149-172
Tipo: Artigo
lockTexto completo
Repositorio institucional:
lockAcceso aberto
Editor