Les logiciels mathématiques sont des logiciels utilisés pour modéliser , analyser ou calculer des données numériques, symboliques ou géométriques.
Évolution des logiciels mathématiques
L'analyse numérique et le calcul symbolique ont longtemps occupé une place prépondérante dans le domaine, mais d'autres approches se développent aujourd'hui. Les connaissances mathématiques utiles, telles que l'algorithmique, antérieures à l' invention de l'ordinateur , ont contribué au développement des logiciels mathématiques. Par ailleurs, la croissance de la puissance de calcul (illustrée par la loi de Moore ) et les nouvelles approches (par exemple, l'assimilation de données , qui combine analyse numérique et statistiques ) nécessitent des progrès en mathématiques fondamentales et appliquées . L'évolution des langages de présentation de l'information mathématique, comme TeX ou MathML exigera une transformation des langages de manipulation de formules en de véritables langages de manipulation mathématique (sans tenir compte de la question de la cohérence de la théorie mathématique ). La popularisation des logiciels mathématiques généralistes et spécialisés , également appelés logiciels mono-usages , continuera de s'adapter aux évolutions de l'environnement et à la normalisation des plateformes. Ainsi, la diversité des logiciels mathématiques sera préservée.
Calculatrice logicielle
Une calculatrice logicielle permet à l'utilisateur d'effectuer des opérations mathématiques simples, telles que l'addition, la multiplication, l'exponentiation et la trigonométrie. La saisie des données est généralement manuelle et le résultat est une étiquette textuelle.
De nombreux logiciels de calcul mathématique sont des systèmes de calcul formel qui utilisent le calcul symbolique . Ils sont conçus pour résoudre des équations et des problèmes d'algèbre classique dans une notation lisible par l'homme.
Un solveur est un logiciel mathématique, généralement un programme autonome ou une bibliothèque logicielle , qui résout un problème mathématique. Il prend en entrée des énoncés de problèmes génériques et en calcule la solution. L'objectif principal d'un solveur est de créer un programme ou une bibliothèque facilement applicable à d'autres problèmes similaires.