Mathématiques computationnelles

Les mathématiques computationnelles peuvent faire référence à deux aspects différents de la relation entre informatique et mathématiques.

Mathématiques computationnelles appliquées consistent, en gros, ) à utiliser les mathématiques pour permettre et améliorer les calculs informatiques pour les mathématiques appliquées . Les mathématiques computationnelles peuvent également faire référence à l'utilisation des ordinateurs pour les mathématiques elles-mêmes. Cela comprend l’utilisation des ordinateurs pour les calculs mathématiques (calcul algébrique), l’étude de ce qui peut (et ne peut pas) être informatisé en mathématiques (méthodes efficaces), lesquels calculs peuvent être effectués avec la technologie actuelle (théorie de la complexité), et quelles preuves peuvent être faites sur des ordinateurs (assistants de preuve).

Les deux aspects des mathématiques computationnelles impliquent des recherches en mathématiques, ainsi que dans des domaines scientifiques dans lesquels l’informatique joue un rôle central et essentiel - qui concerne presque toutes les sciences - et met l’accent sur les algorithmes, les méthodes numériques et les calculs symboliques .