TY  - RPRT
TI  - Dynamic Newton-Puiseux Theorem
AU  - Bassel Mannaa
AU  - Thierry Coquand
PY  - 2013
DO  - 10.4115/jla.2013.5.5
UR  - https://arxiv.org/abs/1304.6770
ID  - 1304.6770
ER  -