Login / Signup

An implementation of effective homotopy of fibrations.

Ana RomeroJulio RubioFrancis Sergeraert
Published in: J. Symb. Comput. (2019)
Keyphrases