An implementation of effective homotopy of fibrations

  1. Romero, A.
  2. Rubio, J.
  3. Sergeraert, F.
Revista:
Journal of Symbolic Computation

ISSN: 0747-7171

Any de publicació: 2019

Volum: 94

Pàgines: 149-172

Tipus: Article

DOI: 10.1016/J.JSC.2018.08.001 GOOGLE SCHOLAR
Repositori institucional: lockAccés obert Editor
Font de les dades: Scopus