Eine umfangreiche Seite zu speziellen Diophantischen Gleichungen der Form x^n+y^n=c^n hat Massimo Kimelmann erstellt. Diophantische Gleichungen algorithmisch zu lösen ist übrigens das Zehnte Hilbertsche Problem.