Lösungen eines Polynomsystems lokal und exakt zählen