Résultats de la recherche

{{Infobox Logiciel | type = [[Calcul formel]] ...

{{Ébauche|logiciel|mathématiques}} {{Infobox Logiciel ...

...ctif est d'obtenir des [[algorithme]]s qui automatisent les démonstrations de ces égalités. ...ométriques est parfois appelée ''liste de Bailey'' à la suite de l'ouvrage de {{Lien|Wilfrid Norman Bailey}}<ref>{{Ouvrage|langue=en|nom1=W. N. Bailey|ti ...

{{Ébauche|informatique|mathématiques|logiciel libre}} {{Infobox Logiciel ...

..., de {{lien|Keith Geddes}}, Stephen Czapor et George Labahn. L'algorithme de Risch–Norman, plus rapide mais moins général, fut développé en [[1976 en in ...18|url=http://www.les-mathematiques.net/a/d/a/node6.php3|titre=sur le site de les-mathematiques.net}}</ref> ; en tant que [[programme informatique]], il ...

'''Eamonn Anthony O'Brien''' est un mathématicien néo-zélandais, professeur de [[mathématiques]] à l'[[Université d'Auckland]], en [[Nouvelle-Zélande]], c ...l formel [[SageMath]], [[GAP (logiciel de calcul formel)|GAP]] et [[Magma (logiciel)|Magma]]. ...

...'variable de contrôle''' peut être utilisée afin d'obtenir une [[réduction de la variance]], en exploitant la [[Corrélation (statistiques)|corrélation]] ...on dispose d'une estimation {{mvar|m}} [[Biais_(statistique)|non-biaisée]] de {{mvar|µ}} ; autrement dit, <math>\mathbb{E}\left[m\right] = \mu</math>. On ...

...ique théorique]], et leurs applications relèvent principalement du [[génie logiciel]], en particulier des [[systèmes distribués]]. ...vent se distinguer par différents points : calcul synchrone ou asynchrone, calcul du premier ordre ou d'ordre supérieur (dans le second cas, les messages éch ...

...llement se voir comme des termes du [[Lambda-calcul simplement typé|lambda-calcul typé]]. ...atique théorique. On la retrouve utilisée sous une forme ou une autre dans de très nombreux travaux allant des années 1960 à nos jours : [[sémantique dén ...

...té créé avec l'aide du livre « Discrete Mathematics and its Applications » de Kenneth H. Rosen Seventh.]] ...ir une [[syntaxe]] et donc un [[langage formel]], c'est-à-dire un ensemble de mots ''admissibles'' sur un alphabet donné. ...

...matique)|spécification]]. Elles reposent sur les [[Sémantique des langages de programmation|sémantiques]] des programmes, c'est-à-dire sur des descriptio ...l'élargissement de leurs champs d'application pratique sont la motivation de nombreuses recherches scientifiques en informatique. ...

{{Infobox Logiciel | type = [[Assistant de preuve]] ...

...Appartenance (mathématiques)|éléments]]) qui le compose au moyen de règles de construction ([[Constructeur (programmation)|constructeurs]]) qui agencent ....e. qui est défini partout, l'induction structurelle est aussi une méthode de ''démonstration'' d'une propriété sur une structure. ...

...algorithme de Schoof''' est un algorithme efficace pour compter les points de [[courbes elliptiques]] sur les [[Corps fini|corps finis]]. Il a des applic ...pour ce problème, tels l'algorithme naïf et l'algorithme [[pas de bébé pas de géant]]. ...

...er des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul<ref>{{harvsp|Hopcroft & Ullman (1979)|réf=HU}}, page 1</ref>. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme : ...

...es langages de programmation qui est de définir les listes par énumération de ses éléments. ...ntaxique offre des avantages de lisibilité et de concision et se rapproche de la notation utilisée en mathématiques : ...

...détaillé|contenu=Pour une introduction, voir [[Plus grand commun diviseur de nombres entiers]].}} ...i les [[divisibilité|divise]] tous les deux. Par exemple, le PGCD de 20 et de 30 est 10, puisque leurs [[diviseur]]s communs sont 1, 2, 5 et 10. ...

...avier Gourdon]] est employée par le [[logiciel de calcul formel]] [[Magma (logiciel)|Magma]]. ...}} donnent lieu à des facteurs non triviaux qui ont exactement ces racines de {{math|''p''(''x'')}} comme leurs propres racines, en préservant la multipl ...

...que parallèle et distribuée un rôle similaire à celui du [[lambda-calcul|λ-calcul]] dans l'informatique classique. ...ettre de construire des programmes exécutables. L'objectif du π-calcul est de permettre d'étudier les concepts importants en programmation parallèle et d ...

...' ou de '''lambda-calcul du second ordre''') est une extension du [[lambda-calcul simplement typé]] introduite indépendamment par le logicien [[Jean-Yves Gir Ce système se distingue du lambda-calcul simplement typé par l'existence d'une quantification universelle sur les ty ...