An implementation of effective homotopy of fibrations
- Romero, A.
- Rubio, J.
- Sergeraert, F.
Journal:
Journal of Symbolic Computation
ISSN: 0747-7171
Year of publication: 2019
Volume: 94
Pages: 149-172
Type: Article
lockFull text
Institutional repository:
lockOpen access
Editor