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

Axiom (logiciel)

Indice Axiom (logiciel)

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

13 relations: Algorithme de Risch, Analyse syntaxique, Calcul formel, Fork (développement logiciel), IBM, Logiciel libre, Logiciel multiplateforme, Maxima (logiciel), Numerical Algorithms Group, PARI/GP, Xcas, Yacas, 1971 en informatique.

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!!: Axiom (logiciel) et Algorithme de Risch · Voir plus »

Analyse syntaxique

L' consiste à mettre en évidence la structure d'un texte, généralement une phrase écrite dans une langue naturelle, mais on utilise également cette terminologie pour l'analyse d'un programme informatique.

Nouveau!!: Axiom (logiciel) et Analyse syntaxique · 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!!: Axiom (logiciel) et Calcul formel · Voir plus »

Fork (développement logiciel)

Un fork (terme anglais signifiant « fourche », « bifurcation », « embranchement ») désigne dans le jargon informatique, un nouveau logiciel créé à partir du code source d'un logiciel existant.

Nouveau!!: Axiom (logiciel) et Fork (développement logiciel) · 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!!: Axiom (logiciel) et IBM · Voir plus »

Logiciel libre

alt.

Nouveau!!: Axiom (logiciel) et Logiciel libre · Voir plus »

Logiciel multiplateforme

Un logiciel multiplateforme est un logiciel conçu pour fonctionner sur plusieurs plateformes informatiques.

Nouveau!!: Axiom (logiciel) et Logiciel multiplateforme · 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!!: Axiom (logiciel) et Maxima (logiciel) · Voir plus »

Numerical Algorithms Group

Le Numerical Algorithms Group (NAG) est une entreprise de développement de logiciels mathématiques et statistiques.

Nouveau!!: Axiom (logiciel) et Numerical Algorithms Group · 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!!: Axiom (logiciel) et PARI/GP · Voir plus »

Xcas

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

Nouveau!!: Axiom (logiciel) et Xcas · Voir plus »

Yacas

Yacas est un logiciel libre de calcul formel.

Nouveau!!: Axiom (logiciel) et Yacas · Voir plus »

1971 en informatique

Pas de description.

Nouveau!!: Axiom (logiciel) et 1971 en informatique · Voir plus »

Redirections ici:

FriCAS, Fricas.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »