An implementation of effective homotopy of fibrations
- Romero, A.
- Rubio, J.
- Sergeraert, F.
Aldizkaria:
Journal of Symbolic Computation
ISSN: 0747-7171
Argitalpen urtea: 2019
Alea: 94
Orrialdeak: 149-172
Mota: Artikulua
lockTestu osoa
Gordailu instituzionala:
lockSarbide irekia
Editor