Mathématiques computationnelles
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[1].
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 Effective method (en), 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.
Domaines des mathématiques computationnelles[modifier | modifier le code]
Les mathématiques computationnelles apparaissent comme une partie distincte des mathématiques appliquées au début des années 1950. Actuellement, elles font référence ou comprennent :
- les sciences numériques également connue sous le nom de calcul scientifique,
- la résolution des problèmes mathématiques par simulation informatique contrairement aux méthodes analytiques utilisées par les mathématiques appliquées,
- l'analyse numérique utilisée dans les calculs scientifiques, par exemple l'algèbre linéaire numérique (en) et la résolution numérique d'équations aux dérivées partielles,
- les méthodes stochastiques telles que la méthode de Monte-Carlo et autres représentations de l'incertitude dans les calculs scientifiques,
- Les mathématiques du calcul scientifique[2],[3], en particulier l'analyse numérique, la théorie des méthodes numériques,
- la complexité informatique,
- le calcul formel et les systèmes de calcul formel,
- la recherche assistée par ordinateur dans divers domaines des mathématiques, tels que la logique avec la démonstration automatique de théorèmes, les mathématiques discrètes, la combinatoire, la théorie des nombres et la topologie algébrique computationnelle,
- la cryptographie et la sécurité informatique, qui impliquent notamment des recherches sur les tests de primalité, la factorisation, la cryptographie sur les courbes elliptiques, et les mathématiques de la blockchain,
- la linguistique informatique avec l'utilisation des techniques mathématiques et informatiques pour le traitement des langues naturelles,
- la géométrie algébrique computationnelle,
- la théorie computationnelle des groupes,
- la géométrie algorithmique,
- la théorie algorithmique des nombres,
- la topologie algorithmique (en),
- la statistique algorithmique,
- la théorie algorithmique de l'information,
- la théorie algorithmique des jeux,
- l'économie mathématique, l'utilisation des mathématiques en économie, en finance et, dans une certaine mesure, en comptabilité,
- les mathématiques expérimentales.
Société savante[modifier | modifier le code]
Au niveau international on peut citer l'association Foundations of Computational Mathematics et sa revue scientifique de même nom.
Références[modifier | modifier le code]
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Computational mathematics » (voir la liste des auteurs).
- National Science Foundation, Division of Mathematical Science, Program description PD 06-888 Computational Mathematics, 2006. Retrieved April 2007.
- Future Directions in Computational Mathematics, Algorithms, and Scientific Software, Report of panel chaired by R. Rheinbold, 1985. Distributed by SIAM.
- Mathematics of Computation, Journal overview. Retrieved April 2007.
Bibliographie[modifier | modifier le code]
- F. Cucker, Foundations of Computational Mathematics: Special Volume, North-Holland Publishing, coll. « Handbook of Numerical Analysis », (ISBN 978-0-444-51247-5)
- J. W. Harris et H. Stocker, Handbook of Mathematics and Computational Science, Springer-Verlag, (ISBN 978-0-387-94746-4, lire en ligne)
- A.K. Hartmann, Practical Guide to Computer Simulations, World Scientific, (ISBN 978-981-283-415-7, lire en ligne)
- T. R. Nonweiler, Computational Mathematics: An Introduction to Numerical Approximation, John Wiley and Sons, (ISBN 978-0-470-20260-9)
- J. E. Gentle, Foundations of Computational Science, Springer-Verlag, (ISBN 978-0-387-00450-1)
- R. E. White, Computational Mathematics: Models, Methods, and Analysis with MATLAB, Chapman and Hall, (ISBN 978-1584883647)
- X. S. Yang, Introduction to Computational Mathematics, World Scientific, (ISBN 978-9812818171)
- G. Strang, Computational Science and Engineering, Wiley, (ISBN 978-0961408817)
