Nullstellenberechnung - Mathesite