Studi-Kolloq

In der Mathematik werden oft Lösungen von Problemen und Gleichungssystemen gesucht. Aber was zählt eigentlich als Lösung? Wie beweist man, dass es keine weitere gibt? Und was hat Computeralgebra damit zu tun? Eine Annäherung in Beispielen.