1. Complexity and Real Computation;Blum,1998
2. Algèbre commutative: Chapitres 8 et 9;Bourbaki,2006
3. Effective certification of approximate solutions to systems of equations involving analytic functions;Burr,2019
4. Cylindrical algebraic decomposition;Davenport,1988
5. Multiple zeros of nonlinear systems;Dayton;Math. Comput.,2011