Title: Exact methods for systems of polynomial equations