MathematicaWolfram Mathematica est un logiciel de calcul formel édité par Wolfram Research depuis 1988 et utilisé dans les milieux scientifiques pour effectuer des calculs algébriques et créer des programmes. Wolfram commence à travailler sur le logiciel en 1986 et en sort la première version en 1988. Il est disponible sur de nombreuses plateformes et supporte un large choix d'opérations. L'entreprise a mis en service un site Internet dit intelligent, basé entre autres sur Mathematica : WolframAlpha.
MapleMaple est un logiciel propriétaire de calcul formel développé depuis les années 1980 et aujourd'hui édité par la société canadienne Maplesoft. La dernière version est la version 2022. Les objets de base du calcul sont les expressions mathématiques, représentées sous forme de graphes orientés acycliques. Maple fournit un langage de programmation spécifique, inspiré d'Algol, qui est à la fois le langage d'utilisation interactive et celui dans lequel est écrite la plus grande partie de la bibliothèque mathématique du logiciel.
Calcul formelLe calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes. Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit.
ExponentiationEn mathématiques, l’exponentiation est une opération binaire non commutative qui étend la notion de puissance d'un nombre en algèbre. Elle se note en plaçant l'un des opérandes en exposant (d'où son nom) de l'autre, appelé base. Pour des exposants rationnels, l'exponentiation est définie algébriquement de façon à satisfaire la relation : Pour des exposants réels, complexes ou matriciels, la définition passe en général par l'utilisation de la fonction exponentielle, à condition que la base admette un logarithme : L'exponentiation ensembliste est définie à l'aide des ensembles de fonctions : Elle permet de définir l'exponentiation pour les cardinaux associés.
Symbolicsthumb|Clavier de la machine Lisp Symbolics 3600 Symbolics (Symbolics, Inc) est une entreprise informatique américaine fondée en 1979 par Russell Noftsker dont l'objectif était de commercialiser les machines Lisp du laboratoire d'intelligence artificielle du MIT. Symbolics représente la principale raison qui motiva Richard Stallman dans son projet GNU. Stallman commença par s'attaquer directement à Symbolics en implémentant le code de leur machine Lisp dans le sien, puis en transmettant ce travail à leur concurrent.
MacLispMacLisp est un dialecte du langage de programmation Lisp, lancé par le projet MAC du MIT à la fin des années 1960 et basé sur la version 1.5 de Lisp. Richard Greenblatt était le principal développeur de la version Lisp pour PDP-6, et Jon L. White le dernier mainteneur connu. L'appellation MacLisp n'apparait qu'au début des années 1970 pour le distinguer des autres forks de la version pour PDP-6, notamment BBN Lisp. MacLisp fonctionnait initialement sous l'ITS sur des machines DEC PDP-6 à 10, mais plus tard sous tous les systèmes pouvant tourner sur ces machines (TENEX par exemple).
Analyse numériqueL’analyse numérique est une discipline à l'interface des mathématiques et de l'informatique. Elle s’intéresse tant aux fondements qu’à la mise en pratique des méthodes permettant de résoudre, par des calculs purement numériques, des problèmes d’analyse mathématique. Plus formellement, l’analyse numérique est l’étude des algorithmes permettant de résoudre numériquement par discrétisation les problèmes de mathématiques continues (distinguées des mathématiques discrètes).
Équation différentielleEn mathématiques, une équation différentielle est une équation dont la ou les « inconnue(s) » sont des fonctions ; elle se présente sous la forme d'une relation entre ces fonctions inconnues et leurs dérivées successives. C'est un cas particulier d'équation fonctionnelle. On distingue généralement deux types d'équations différentielles : les équations différentielles ordinaires (EDO) où la ou les fonctions inconnues recherchées ne dépendent que d'une seule variable ; les équations différentielles partielles, plutôt appelées équations aux dérivées partielles (EDP), où la ou les fonctions inconnues recherchées peuvent dépendre de plusieurs variables indépendantes.
Nombre réelEn mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.
Arithmétique multiprécisionL'arithmétique multiprécision désigne l'ensemble des techniques mises en œuvre pour manipuler dans un programme informatique des nombres (entiers, rationnels, ou flottants principalement) de taille arbitraire. Il s'agit d'une branche de l'arithmétique des ordinateurs. On oppose l'arithmétique multi-précision à l'arithmétique en simple ou double précision, comme celle spécifiée par le standard IEEE 754 pour les nombres flottants.
Polynomial greatest common divisorIn algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials. This concept is analogous to the greatest common divisor of two integers. In the important case of univariate polynomials over a field the polynomial GCD may be computed, like for the integer GCD, by the Euclidean algorithm using long division. The polynomial GCD is defined only up to the multiplication by an invertible constant.
Matrice (mathématiques)thumb|upright=1.5 En mathématiques, les matrices sont des tableaux d'éléments (nombres, caractères) qui servent à interpréter en termes calculatoires, et donc opérationnels, les résultats théoriques de l'algèbre linéaire et même de l'algèbre bilinéaire. Toutes les disciplines étudiant des phénomènes linéaires utilisent les matrices. Quant aux phénomènes non linéaires, on en donne souvent des approximations linéaires, comme en optique géométrique avec les approximations de Gauss.
Factorisation des polynômesEn mathématiques, la factorisation d'un polynôme consiste à écrire celui-ci comme produit de polynômes. Les factorisations intéressantes sont celles permettant d'écrire le polynôme initial en produit de plusieurs polynômes non inversibles. Un polynôme non inversible pour lequel aucune factorisation de ce type n'existe s'appelle un polynôme irréductible. La décomposition d'un polynôme en produits de polynômes irréductibles existe, et a une propriété d'unicité (à un facteur inversible près), pour tout polynôme à coefficients réels ou complexes.
Fonction élémentaireEn mathématiques, une fonction élémentaire est une fonction d'une variable construite à partir d'un nombre fini d'exponentielles, logarithmes, constantes, et racines n-ièmes par composition et combinaisons utilisant les quatre opérations élémentaires (+ – × ÷). En permettant à ces fonctions (et les constantes) d'être complexes, les fonctions trigonométriques et leurs réciproques sont élémentaires. Les fonctions élémentaires ont été d'abord introduites par Joseph Liouville dans une série de publications de 1833 à 1841.
MacsymaMacsyma (ˈmæksɪmə; "Project MAC's SYmbolic MAnipulator") is one of the oldest general-purpose computer algebra systems still in wide use. It was originally developed from 1968 to 1982 at MIT's Project MAC. In 1982, Macsyma was licensed to Symbolics and became a commercial product. In 1992, Symbolics Macsyma was spun off to Macsyma, Inc., which continued to develop Macsyma until 1999. That version is still available for Microsoft's Windows XP operating system.
Fonction rationnelleEn mathématiques, une fonction rationnelle est une fonction définie par une fraction rationnelle, c'est-à-dire une dont le numérateur et le dénominateur sont des polynômes. En pratique, l'ensemble de définition est généralement (ensemble des réels) ou (ensemble des complexes). Si P et Q sont deux fonctions polynomiales et si Q n'est pas une fonction nulle, la fonction est définie pour tout x tel que Q(x) ≠ 0 par Une fonction qui n'est pas rationnelle est dite irrationnelle.
SageMathSageMath (anciennement Sage) est un logiciel libre généraliste de calcul mathématique. Le projet SageMath vise à « développer une alternative open source viable » aux systèmes de calcul formel Magma, Maple, et Mathematica ainsi qu'au logiciel de calcul numérique MATLAB. SageMath dispose de fonctionnalités avancées dans des domaines tels que l'algèbre linéaire, l'algèbre commutative, la théorie des nombres ou encore la combinatoire algébrique.
Maxima (logiciel)Maxima est un logiciel libre de calcul formel, descendant du logiciel Macsyma, développé dès 1968 au sein du projet MAC du MIT (le nom Macsyma est tiré de « Project MAC's Symbolic Manipulator »). Il est disponible sous GNU/Linux, Mac OS X, Windows et Android. Maxima est distribué sous licence GNU GPL depuis 1998. Le logiciel est programmé en Lisp, tout comme les systèmes de calcul formel , Derive, et Axiom. Né à la fin des années 1960 au MIT, Macsyma a servi de « terrain d'expérimentation » pour de nombreux algorithmes de calcul formel.
Virgule flottantevignette|Comme la notation scientifique, le nombre à virgule flottante a une mantisse et un exposant. La virgule flottante est une méthode d'écriture de nombres fréquemment utilisée dans les ordinateurs, équivalente à la notation scientifique en numération binaire. Elle consiste à représenter un nombre par : un signe (égal à −1 ou 1) ; une mantisse (aussi appelée significande) ; et un exposant (entier relatif, généralement borné).
Équation différentielle ordinaireEn mathématiques, une équation différentielle ordinaire (parfois simplement appelée équation différentielle et abrégée en EDO) est une équation différentielle dont la ou les fonctions inconnues ne dépendent que d'une seule variable; elle se présente sous la forme d'une relation entre ces fonctions inconnues et leurs dérivées successives. Le terme ordinaire est utilisé par opposition au terme équation différentielle partielle (plus communément équation aux dérivées partielles, ou EDP) où la ou les fonctions inconnues peuvent dépendre de plusieurs variables.
