Diophantische Gleichungen sind algebraische Gleichungen, für die ganzzahlige Lösungen gesucht werden. Meist sind auch die Koeffizienten der Gleichung ganzzahlig. Diophantische Gleichung als unterbestimmtes Gleichungssystem mit mehr Variablen als Gleichungen -> Beispiel ℤ₂.₃ mit Transformation in Smith-Normalform Snf=P A Q
