Matematika diskret membahas situasi ketika banyaknya benda berupa bilangan bulat. Jadi, ketika ingin menyelesaikan persamaan, kita biasanya mencari solusi berupa bilangan bulat. Persamaan yang solusinya hanya dicari dalam bilangan bulat pertama kali dipelajari pada abad ketiga oleh matematikawan Yunani Diofantos dari Aleksandria, sehingga disebut persamaan Diofantin. Contoh persamaan Diofantin yang mungkin paling terkenal ialah \(a^2 + b^2 = c^2\text{.}\) Solusi bilangan bulat dari persamaan ini disebut tripel Pythagoras. Secara umum, menyelesaikan persamaan Diofantin itu sulit (bahkan, dapat dibuktikan bahwa tidak ada algoritma umum untuk menentukan apakah suatu persamaan Diofantin memiliki solusi; hasil ini dikenal sebagai Teorema Matiyasevich). Kita akan membatasi pembahasan pada persamaan Diofantin linear, yang jauh lebih mudah ditangani.