Intégrale non élémentaireEn mathématiques, une intégrale non élémentaire est une intégrale qui n'a aucune formule en termes de fonctions élémentaires. L'existence de telles fonctions a été démontrée par Joseph Liouville en 1835. Parmi les intégrales non élémentaires, on peut citer où R est une fonction rationnelle à deux variables, P est une fonction polynomiale de degré 3 ou 4 avec des racines simples, qui donnent les intégrales elliptiques ; qui donne le logarithme intégral ; à l'origine de la loi normale. Théorème de Liouvill
Symbolic integrationIn calculus, symbolic integration is the problem of finding a formula for the antiderivative, or indefinite integral, of a given function f(x), i.e. to find a differentiable function F(x) such that This is also denoted The term symbolic is used to distinguish this problem from that of numerical integration, where the value of F is sought at a particular input or set of inputs, rather than a general formula for F.
Fonction gamma incomplèteEn analyse mathématique, il existe plusieurs définitions de fonctions gamma incomplètes : pour un paramètre complexe a de partie réelle strictement positive, La dérivée de la fonction gamma incomplète Γ(a, x) par rapport à x est l'opposée de l'intégrande de sa définition intégrale : La dérivée par rapport au paramètre a est donnée par et la dérivée seconde par où la fonction T(m, a, x) est un cas particulier de la Ce cas particulier possède des propriétés internes de fermeture qui lui sont propres parce qu'
Théorème de Liouville (algèbre différentielle)En mathématiques, et plus précisément en analyse et en , le théorème de Liouville, formulé par Joseph Liouville dans une série de travaux concernant les fonctions élémentaires entre 1833 et 1841, et généralisé sous sa forme actuelle par Maxwell Rosenlicht en 1968, donne des conditions pour qu'une primitive puisse être exprimée comme combinaison de fonctions élémentaires, et montre en particulier que de nombreuses primitives de fonctions usuelles, telle que la fonction d'erreur, qui est une primitive de e−x2
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.
Système de calcul formelUn système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur forme symbolique. Les expressions peuvent être : des polynômes avec de multiples variables ; des fonctions (fonctions trigonométriques, exponentielle, etc.) ; des fonctions spéciales (gamma, zêta, erf, Bessel, etc.
