An implementation of effective homotopy of fibrations
| Autor: | Romero, Ana, Rubio, Julio, Sergeraert, Francis |
|---|---|
| Zdroj: | In Journal of Symbolic Computation September-October 2019 94:149-172 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Romero, Ana, Rubio, Julio, Sergeraert, Francis |
|---|---|
| Zdroj: | In Journal of Symbolic Computation September-October 2019 94:149-172 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect