Certifying solutions to overdetermined and singular polynomial systems over Q
Presenter
June 2, 2014
Keywords:
- approximate root
- certification