Polynomsysteme effizient und genau lösen