Mathématiques computationnelles

vignette| Une interprétation en noir et blanc de la tablette YBC 7289 de la Yale Babylonian Collection (vers 1800–1600 avant notre ère), montrant une approximation babylonienne de la racine carrée de 2 (1 24 51 10 w : sexagésimal) dans le contexte du théorème de Pythagore pour un triangle isocèle. La tablette donne également un exemple où un côté du carré est 30 et la diagonale résultante est 42 25 35 soit 42,4263888. Les mathématiques computationnelles interviennent dans les recherches mathématiques ainsi que dans des domaines scientifiques où le calcul joue un rôle central et essentiel, et mettent l'accent sur les algorithmes, les méthodes numériques et les calculs symboliques. Les mathématiques computationnelles consistent le plus souvent à utiliser les mathématiques pour permettre ou améliorer les calculs informatiques en mathématiques appliquées. Néanmoins, elles peuvent également faire référence à l'utilisation d'ordinateurs dans le champ mathématique lui-même. Cette utilisation des ordinateurs comprend les calculs mathématiques avec le calcul formel, l'étude de ce qui peut (ou ne peut pas) être informatisé en mathématiques avec les , quelques calculs peuvent être effectués avec la technologie actuelle de la théorie de la complexité et quelles preuves peuvent utiliser des assistants de preuve. Les mathématiques computationnelles apparaissent comme une partie distincte des mathématiques appliquées au début des années 1950.