Problema matematikoen zenbakizko soluzioak lortzeko metodo eta algoritmoak aztertzen dituen matematikaren adarra.