Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Télécharger
Accès plus rapide que le navigateur!
 

Système de calcul formel

Indice Système de calcul formel

Un système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique.

61 relations: Algèbre linéaire, Algorithme de Risch, Anglais, Années 1970, Axiom (logiciel), Base de Gröbner, C (langage), Calcul formel, Calculatrice graphique, Dérivée, Derive, Eigenmath (moteur de calcul), Expression (mathématiques), Factorisation, Fonction élémentaire, Fonction d'erreur, Fonction de Bessel, Fonction exponentielle, Fonction gamma, Fonction spéciale, Fonction trigonométrique, Fonction zêta de Riemann, GAP (logiciel de calcul formel), GNU Octave, Graphe d'une fonction, IBM, Impression élégante, Intégration (mathématiques), Intelligence artificielle, Langage de programmation de haut niveau, Licence publique générale GNU, Logiciel, Logiciel libre, Magma (logiciel), Maple, Martinus Veltman, Massachusetts Institute of Technology, Mathcad, Mathematica, MATLAB, Maxima (logiciel), MuPAD, Néerlandais, PARI/GP, Physique des particules, Plus grand commun diviseur, Polynôme, Processeur, Python (langage), SageMath, ..., Série de Laurent, Série de Puiseux, Série de Taylor, Sympy, TeX, Texas Instruments, TI-Nspire, Transformation de Fourier, Transformation de Laplace, Xcas, Yacas. Développer l'indice (11 plus) »

Algèbre linéaire

L’algèbre linéaire est la branche des mathématiques qui s'intéresse aux espaces vectoriels et aux transformations linéaires, formalisation générale des théories des systèmes d'équations linéaires.

Nouveau!!: Système de calcul formel et Algèbre linéaire · Voir plus »

Algorithme de Risch

L’algorithme de Risch, dû à, est un algorithme destiné aux systèmes de calcul formel, permettant de calculer des primitives, c'est-à-dire de déterminer une fonction, connaissant sa dérivée.

Nouveau!!: Système de calcul formel et Algorithme de Risch · Voir plus »

Anglais

vignette Langlais (prononcé) est une langue indo-européenne germanique originaire d'Angleterre qui tire ses racines de langues du nord de l'Europe (terre d'origine des Angles, des Saxons et des Frisons) dont le vocabulaire a été enrichi et la syntaxe et la grammaire modifiées par le français anglo-normandLe français anglo-normand est la forme insulaire du normand., apporté par les Normands, puis par le français avec les Plantagenêt. La langue anglaise est ainsi composée d'environ 29 % de mots d'origine normande et française et plus des deux tiers de son vocabulaire proviennent du français ou du latin. L'anglais est également très influencé par les langues romanes, en particulier par l'utilisation de l'alphabet latin ainsi que les chiffres arabes. Langue officielle de facto du Royaume-Uni, de l'Irlande et d'autres îles de l'archipel britannique (Île de Man, îles anglo-normandes), l'anglais est la langue maternelle de tout ou partie de la population, et suivant les cas, la langue ou une des langues officielles de plusieurs pays, totalement ou partiellement issus des anciennes colonies britanniques de peuplement, dont les États-Unis, le Canada, l'Australie et la Nouvelle-Zélande, que l'on réunit sous l'appellation de « monde anglo-saxon », bien qu'il n'existe pas de définition universelle de cette expression. Il est également langue officielle ou langue d'échange dans de très nombreux pays issus de l'ancien Empire britannique, même en l'absence de population d'origine anglo-saxonne significative (Cameroun, Kenya, Nigeria, Hong Kong, Inde, Pakistan, Singapour, etc.). Beaucoup de pays dont l'anglais est la langue officielle sont réunis au sein du Commonwealth (bien que pour certains, il ne soit pas l'unique langue officielle). C'est également l'une des vingt-quatre langues officielles de l'Union européenne et l'une des six langues officielles et des deux langues de travail — avec le français — de l'Organisation des Nations unies (ONU). L'anglais est la langue la plus parlée au monde; en tant que langue maternelle, il se classe troisième, après le chinois (mandarin) et l'espagnol. Considérée par beaucoup comme étant la langue internationale prédominante, elle est la langue la plus souvent enseignée en tant que langue étrangère à travers le monde. Elle est également la langue la plus utilisée sur Internet.

Nouveau!!: Système de calcul formel et Anglais · Voir plus »

Années 1970

Les années 1970 couvrent la période du au.

Nouveau!!: Système de calcul formel et Années 1970 · Voir plus »

Axiom (logiciel)

Axiom est un logiciel libre de calcul formel dont l'origine remonte à 1971.

Nouveau!!: Système de calcul formel et Axiom (logiciel) · Voir plus »

Base de Gröbner

En mathématiques, une base de Gröbner (ou base standard, ou base de Buchberger) d'un idéal de l'anneau de polynômes K est un ensemble de générateurs de cet idéal, vérifiant certaines propriétés supplémentaires.

Nouveau!!: Système de calcul formel et Base de Gröbner · Voir plus »

C (langage)

C est un langage de programmation impératif, généraliste et de bas niveau.

Nouveau!!: Système de calcul formel et C (langage) · Voir plus »

Calcul formel

Le 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.

Nouveau!!: Système de calcul formel et Calcul formel · Voir plus »

Calculatrice graphique

Une calculatrice graphique est une calculatrice scientifique capable de tracer, et éventuellement de permettre l'analyse de graphes de fonctions mathématiques sur son écran.

Nouveau!!: Système de calcul formel et Calculatrice graphique · Voir plus »

Dérivée

En mathématiques, la dérivée d'une fonction d'une variable réelle mesure l'ampleur du changement de la valeur de la fonction (valeur de sortie) par rapport à un petit changement de son argument (valeur d'entrée).

Nouveau!!: Système de calcul formel et Dérivée · Voir plus »

Derive

Derive est un système de calcul formel développé par Soft Warehouse, héritier de muMATH.

Nouveau!!: Système de calcul formel et Derive · Voir plus »

Eigenmath (moteur de calcul)

Interface de Eigenmath. Eigenmath est un programme simple et libre, de calcul formel, développé en 2002 par George Weigt.

Nouveau!!: Système de calcul formel et Eigenmath (moteur de calcul) · Voir plus »

Expression (mathématiques)

Expression mathématique Une expression en mathématiques est une combinaison de symboles finie et logique.

Nouveau!!: Système de calcul formel et Expression (mathématiques) · Voir plus »

Factorisation

En mathématiques, la factorisation consiste à écrire une expression algébrique (notamment une somme), un nombre, une matrice sous la forme d'un produit.

Nouveau!!: Système de calcul formel et Factorisation · Voir plus »

Fonction élémentaire

En 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 (+ – × ÷).

Nouveau!!: Système de calcul formel et Fonction élémentaire · Voir plus »

Fonction d'erreur

Construction de la fonction d'erreur réelle. En mathématiques, la fonction d'erreur (aussi appelée fonction d'erreur de Gauss) est une fonction entière utilisée en analyse.

Nouveau!!: Système de calcul formel et Fonction d'erreur · Voir plus »

Fonction de Bessel

En mathématiques, et plus précisément en analyse, les fonctions de Bessel, appelées aussi quelquefois fonctions cylindriques, découvertes par le mathématicien suisse Daniel Bernoulli, portent le nom du mathématicien allemand Friedrich Wilhelm Bessel.

Nouveau!!: Système de calcul formel et Fonction de Bessel · Voir plus »

Fonction exponentielle

En mathématiques, la fonction exponentielle est la fonction notée qui est égale à sa propre dérivée et prend la valeur en.

Nouveau!!: Système de calcul formel et Fonction exponentielle · Voir plus »

Fonction gamma

En mathématiques, la fonction gamma (notée par la lettre grecque majuscule gamma de l'alphabet grec) est une fonction utilisée communément, qui prolonge la fonction factorielle à l'ensemble des nombres complexes.

Nouveau!!: Système de calcul formel et Fonction gamma · Voir plus »

Fonction spéciale

L'analyse mathématique regroupe sous le terme de fonctions spéciales un ensemble de fonctions analytiques non élémentairesLe terme de « fonction élémentaire » désigne les fonctions polynomiales, les fonctions trigonométriques circulaires et hyperboliques, l'exponentielle, et les réciproques de toutes ces fonctions.

Nouveau!!: Système de calcul formel et Fonction spéciale · Voir plus »

Fonction trigonométrique

Toutes les valeurs des fonctions trigonométriques d'un angle ''θ'' peuvent être représentées géométriquement. En mathématiques, les fonctions trigonométriques permettent de relier les longueurs des côtés d'un triangle en fonction de la mesure des angles aux sommets.

Nouveau!!: Système de calcul formel et Fonction trigonométrique · Voir plus »

Fonction zêta de Riemann

2 (droite verticale) sont les zéros. Carte des couleurs utilisées dans la figure du dessus. En mathématiques, la fonction zêta de Riemann est une fonction analytique complexe qui est apparue essentiellement dans la théorie des nombres premiers.

Nouveau!!: Système de calcul formel et Fonction zêta de Riemann · Voir plus »

GAP (logiciel de calcul formel)

GAP (abréviation de groups, algorithms, programming) est un logiciel libre, pour l'algorithmique algébrique.

Nouveau!!: Système de calcul formel et GAP (logiciel de calcul formel) · Voir plus »

GNU Octave

GNU Octave est un logiciel libre de calcul numérique comparable à MATLAB et à Scilab.

Nouveau!!: Système de calcul formel et GNU Octave · Voir plus »

Graphe d'une fonction

Représentation du graphe de la fonction f \colon \beginalign&\scriptstyle -1,~1,5 \to -1,~1,5 \\ &\textstyle x \mapsto \frac(4x^3-6x^2+1)\sqrtx+13-x\endalign. Le graphe d'une fonction de ''E'' dans ''F'' est le sous-ensemble G de ''E''×''F'' formé par les couples d'éléments liés par la correspondance: G.

Nouveau!!: Système de calcul formel et Graphe d'une fonction · Voir plus »

IBM

International Business Machines Corporation, connue sous le sigle IBM, est une entreprise multinationale américaine présente dans les domaines du matériel informatique, du logiciel et des services informatiques.

Nouveau!!: Système de calcul formel et IBM · Voir plus »

Impression élégante

En typographie informatique, un système d’impression élégante, également désigné sous l’appellation anglaise, est une application permettant la mise en forme de l'agencement de textes.

Nouveau!!: Système de calcul formel et Impression élégante · Voir plus »

Intégration (mathématiques)

En mathématiques, l'intégration ou calcul intégral est l'une des deux branches du calcul infinitésimal, l'autre étant le calcul différentiel.

Nouveau!!: Système de calcul formel et Intégration (mathématiques) · Voir plus »

Intelligence artificielle

assistants personnels intelligents sont l'une des applications concrètes de l'intelligence artificielle dans les années 2010. L'intelligence artificielle (IA) est un ensemble de théories et de techniques visant à réaliser des machines capables de simuler l'intelligence humaine.

Nouveau!!: Système de calcul formel et Intelligence artificielle · Voir plus »

Langage de programmation de haut niveau

En programmation informatique, un langage de programmation à haut niveau d'abstraction généralement appelé langage de haut niveau est un langage de programmation orienté autour du problème à résoudre, qui permet d'écrire des programmes en utilisant des mots usuels des langues naturelles (très souvent de l'anglais) et des symboles mathématiques familiers.

Nouveau!!: Système de calcul formel et Langage de programmation de haut niveau · Voir plus »

Licence publique générale GNU

La licence publique générale GNU, ou GNU General Public License (son seul nom officiel en anglais, communément abrégé GNU GPL, voire simplement « GPL »), est une licence qui fixe les conditions légales de distribution d'un logiciel libre du projet GNU.

Nouveau!!: Système de calcul formel et Licence publique générale GNU · Voir plus »

Logiciel

Démarche de construction d'un logiciel. En informatique, un logiciel est un ensemble de séquences d’instructions interprétables par une machine et d’un jeu de données nécessaires à ces opérations.

Nouveau!!: Système de calcul formel et Logiciel · Voir plus »

Logiciel libre

alt.

Nouveau!!: Système de calcul formel et Logiciel libre · Voir plus »

Magma (logiciel)

Magma est un logiciel de calcul formel destiné à résoudre des problèmes d'algèbre, de géométrie algébrique et de combinatoire.

Nouveau!!: Système de calcul formel et Magma (logiciel) · Voir plus »

Maple

Maple 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.

Nouveau!!: Système de calcul formel et Maple · Voir plus »

Martinus Veltman

Martinus J. G. Veltman, né le à Waalwijk et mort le à Bilthoven, était un physicien néerlandais.

Nouveau!!: Système de calcul formel et Martinus Veltman · Voir plus »

Massachusetts Institute of Technology

Le grand dôme du MIT. Le Massachusetts Institute of Technology (MIT), en français Institut de technologie du Massachusetts, est un institut de recherche américain et une université, spécialisé dans les domaines de la science et de la technologie.

Nouveau!!: Système de calcul formel et Massachusetts Institute of Technology · Voir plus »

Mathcad

Mathcad est un logiciel permettant de réaliser des calculs scientifiques.

Nouveau!!: Système de calcul formel et Mathcad · Voir plus »

Mathematica

Wolfram Mathematica est un système logiciel avec des bibliothèques intégrées permettant l'apprentissage automatique, les statistiques, le calcul symbolique, la manipulation de données, l'analyse de réseaux, l'analyse de séries temporelles, le traitement automatique du langage naturel (TALN), l'optimisation, le traçage de fonctions et de divers types de données, la mise en œuvre d'algorithmes, la création d'interfaces utilisateur et l'interface avec des programmes écrits dans d'autres langages de programmation.

Nouveau!!: Système de calcul formel et Mathematica · Voir plus »

MATLAB

MATLAB (ou Matlab) est un langage de script destiné au calcul numérique, et émulé par l'environnement de développement du même nom.

Nouveau!!: Système de calcul formel et MATLAB · Voir plus »

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 »), Richard Fateman, NASA, Langley Research Center, 1977, General Electric Company, Research and Development Center.

Nouveau!!: Système de calcul formel et Maxima (logiciel) · Voir plus »

MuPAD

MuPAD est un logiciel de calcul formel propriétaire développé initialement par un groupe de recherche de l'université de Paderborn.

Nouveau!!: Système de calcul formel et MuPAD · Voir plus »

Néerlandais

Le néerlandais (Nederlands, prononciation) est, avec ses 25 millions de locuteurs maternels, la troisième langue germanique après l'anglais et l'allemand.

Nouveau!!: Système de calcul formel et Néerlandais · Voir plus »

PARI/GP

PARI/GP est un système de calcul formel ayant pour objectif principal de faciliter les calculs en théorie des nombres.

Nouveau!!: Système de calcul formel et PARI/GP · Voir plus »

Physique des particules

La physique des particules ou la physique subatomique est la branche de la physique qui étudie les constituants élémentaires de la matière et les rayonnements, ainsi que leurs interactions.

Nouveau!!: Système de calcul formel et Physique des particules · Voir plus »

Plus grand commun diviseur

En arithmétique élémentaire, le plus grand commun diviseur ou '''PGCD''' de deux nombres entiers non nuls est le plus grand entier qui les divise simultanément.

Nouveau!!: Système de calcul formel et Plus grand commun diviseur · Voir plus »

Polynôme

Courbe représentative d'une fonction cubique. En mathématiques, un polynôme est une expression formée uniquement de produits et de sommes de constantes et d'indéterminées (aussi appelées variables), habituellement notées X, Y, Z, etc.

Nouveau!!: Système de calcul formel et Polynôme · Voir plus »

Processeur

Processeur intel-core i7-12700KF Un processeur (ou unité centrale de calcul, UCC; en anglais central processing unit, CPU) est un composant présent dans de nombreux dispositifs électroniques qui exécute les instructions machine des programmes informatiques.

Nouveau!!: Système de calcul formel et Processeur · Voir plus »

Python (langage)

Python (prononcé) est un langage de programmation interprété, multiparadigme et multiplateformes.

Nouveau!!: Système de calcul formel et Python (langage) · Voir plus »

SageMath

SageMath (anciennement Sage) est un logiciel libre généraliste de calcul mathématique.

Nouveau!!: Système de calcul formel et SageMath · Voir plus »

Série de Laurent

En analyse complexe, la série de Laurent (aussi appelée développement de Laurent) d'une fonction holomorphe f est une manière de représenter f au voisinage d'une singularité, ou plus généralement, autour d'un « trou » de son domaine de définition.

Nouveau!!: Système de calcul formel et Série de Laurent · Voir plus »

Série de Puiseux

En mathématiques, les séries de Puiseux sont une généralisation des séries formelles, introduites pour la première fois par Isaac Newton en 1676 et redécouvertes par Victor Puiseux en 1850, qui permet à l'exposant de l'indéterminée d'être négatif ou fractionnel (tout en étant, pour une série donnée, borné inférieurement et de dénominateur borné).

Nouveau!!: Système de calcul formel et Série de Puiseux · Voir plus »

Série de Taylor

Brook Taylor, dont la série porte le nom. En mathématiques, et plus précisément en analyse, la série de Taylor au point a d'une fonction f (réelle ou complexe) indéfiniment dérivable en ce point, appelée aussi le développement en série de Taylor de f en a, est une série entière approchant la fonction autour de a, construite à partir de f et de ses dérivées successives en a. Elles portent le nom de Brook Taylor, qui les a introduites en 1715.

Nouveau!!: Système de calcul formel et Série de Taylor · Voir plus »

Sympy

Sympy est une bibliothèque en Python spécialisée dans le calcul formel qui ne dépend d'aucune bibliothèque supplémentaire.

Nouveau!!: Système de calcul formel et Sympy · Voir plus »

TeX

TeX est un système logiciel libre de composition de documents, indépendant du matériel utilisé pour la visualisation ou l'impression.

Nouveau!!: Système de calcul formel et TeX · Voir plus »

Texas Instruments

Texas Instruments (TI) est une entreprise d'électronique américaine renommée dans le domaine des composants électroniques passifs et des semi-conducteurs fondée en 1941.

Nouveau!!: Système de calcul formel et Texas Instruments · Voir plus »

TI-Nspire

TI-Nspire avec clickpad amovible. TI-Nspire CAS avec clickpad fixe. TI-Nspire avec Touchpad. TI-Nspire CAS avec Touchpad. TI-Nspire CX. TI-Nspire CX CAS. La ligne de produits TI-Nspire est une série de calculatrices graphiques développée par Texas Instruments (TI).

Nouveau!!: Système de calcul formel et TI-Nspire · Voir plus »

Transformation de Fourier

Portrait de Joseph Fourier. En mathématiques, plus précisément en analyse, la transformation de Fourier est une extension, pour les fonctions non périodiques, du développement en série de Fourier des fonctions périodiques.

Nouveau!!: Système de calcul formel et Transformation de Fourier · Voir plus »

Transformation de Laplace

En mathématiques, la transformation de Laplace est une transformation intégrale qui, à une fonction — définie sur les réels positifs et à valeurs réelles —, associe une nouvelle fonction — définie sur les complexes et à valeurs complexes — dite transformée de Laplace de.

Nouveau!!: Système de calcul formel et Transformation de Laplace · Voir plus »

Xcas

Xcas (se prononce /ikskas/) est un logiciel libre et open source de calcul formel pour.

Nouveau!!: Système de calcul formel et Xcas · Voir plus »

Yacas

Yacas est un logiciel libre de calcul formel.

Nouveau!!: Système de calcul formel et Yacas · Voir plus »

Redirections ici:

Computer Algebra System, Computer algebra system, Computer algebric system, Logiciel de calcul formel.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »