Matematikang komputasyonal

Ang matematikang komputasyonal ay sumasangkot sa pagsasalik sa matematika sa mga sakop ng agham kung saan ang pagkukwenta ay gumagampan ng isang sentral na parepl na nagbibigay diin sa mga algoritmo, mga pamamaraang numerikal, at mga pamamaraang simboliko. Ang pagkukwenta sa pagsasaliksik ay kilala.^[1] Ang matematikang komputasyonal ay lumitaw bilang isang natatanging bahagi ng nilalapat na matematika noong mga simula nang 1950. Sa kasalukuyan, ang matematikang komputasyonal ay maaaring tumukoy o kabilangan ng:

• agham komputasyonal na kilala rin bilang komputasyong siyentipiko o inheryeryang komputasyon
• mga nalutas na problemang matematikal ng simulasyon ng kompyuter na salungat sa mga pamamaraang analitiko ng inhinyeryang komputasyonal
• mga pamamaraang numerikal na ginagamit sa komputasyong siyentipiko halimbawa ang numerikal na alhebrang linyar at solusyong numerikal ng mga parsiyal diperensiyal na ekwasyon
• mga pamamaraang stokastiko^[2] gaya ng paraang Monte Carlo at iba pang mga representasyon ng kawalang katiyakan sa komputasyong siyentipiko halimbawa ang mga stokastikong may hangganang elemento
• ang matematika ng komputasyong siyentipiko^[3] (the theoretical side involving mathematical proofs^[4]) sa partikular ang numerikal na analisis na teoriya ng mga pamamaraang numerikal (ngunit ang teoriya ng komputasyon at teoriyang komputasyonal na kompleksidad ay kabilang sa teoretikal na agham pangkompyuter)
• komputasyong simboliko at mga sistemang kompyuter alhebra
• tinulungan ng kompyuter na pagsasaliksik sa iba't ibang mga sakop ng matematika gaya ng lohikang matematika, automadong teoremang pagpapatunay, diskretong matematika (paghahanap sa mga istrakturang matematikal gaya ng grupo, teoriya ng bilang, pagsubok ng primalidad at paktorisasyon), kriptograpiya at komputasyonal na topolohiyang alhebraiko. o
• linguistikang komputasyonal na paggamit ng mga pamamaraang matematikal at kompyuter para sa mga wikang natural
• komputasyonal na heometriyang alhebraiko
• komputasyonal na teoriya ng grupo
• komputasyonal na heometriya
• komputasyonal na teoriya ng bilang
• komputasyonal na topolohiya
• komputasyonal na estadistika
• teoriyang algoritmikong impormasyon
• teoriyang algoritmikong laro