An implementation of effective homotopy of fibrations
- Romero, A.
- Rubio, J.
- Sergeraert, F.
Zeitschrift:
Journal of Symbolic Computation
ISSN: 0747-7171
Datum der Publikation: 2019
Ausgabe: 94
Seiten: 149-172
Art: Artikel
lockVolltext
Institutionelles Repository:
lockOpen Access
Editor