Property |
Value |
dbo:abstract
|
- Une identité hypergéométrique est un résultat sur des sommes de termes d'une série hypergéométrique. De telles identités apparaissent fréquemment dans des problèmes de combinatoire et d'analyse d'algorithme. Les premières identités ont été trouvées à la main par des mathématiciens comme Carl Friedrich Gauss ou Ernst Kummer. Maintenant, l'objectif est d'obtenir des algorithmes qui automatisent les démonstrations de ces égalités. La liste des identités hypergéométriques est parfois appelée liste de Bailey suite à l'ouvrage de (en). Une technique de certification automatique de ces identités utilise des couples de fonctions appelés paires de Wilf-Zeilberger ; un exemple d’identité hypergéométrique obtenue par cette méthode est : (fr)
- Une identité hypergéométrique est un résultat sur des sommes de termes d'une série hypergéométrique. De telles identités apparaissent fréquemment dans des problèmes de combinatoire et d'analyse d'algorithme. Les premières identités ont été trouvées à la main par des mathématiciens comme Carl Friedrich Gauss ou Ernst Kummer. Maintenant, l'objectif est d'obtenir des algorithmes qui automatisent les démonstrations de ces égalités. La liste des identités hypergéométriques est parfois appelée liste de Bailey suite à l'ouvrage de (en). Une technique de certification automatique de ces identités utilise des couples de fonctions appelés paires de Wilf-Zeilberger ; un exemple d’identité hypergéométrique obtenue par cette méthode est : (fr)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3649 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
| |
prop-fr:isbn
| |
prop-fr:langue
| |
prop-fr:lienAuteur
|
- Donald Knuth (fr)
- Ronald Graham (fr)
- Donald Knuth (fr)
- Ronald Graham (fr)
|
prop-fr:lieu
| |
prop-fr:nom
|
- Graham (fr)
- Knuth (fr)
- Patashnik (fr)
- Graham (fr)
- Knuth (fr)
- Patashnik (fr)
|
prop-fr:numéroD'édition
|
- deuxième (fr)
- deuxième (fr)
|
prop-fr:pagesTotales
|
- xiv+688 (fr)
- xiv+688 (fr)
|
prop-fr:prénom
|
- Ronald (fr)
- Donald (fr)
- Oren (fr)
- Ronald (fr)
- Donald (fr)
- Oren (fr)
|
prop-fr:sousTitre
|
- Fondations pour l'informatique (fr)
- Fondations pour l'informatique (fr)
|
prop-fr:titre
| |
prop-fr:traducteur
|
- Alain Denise (fr)
- Alain Denise (fr)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
| |
dct:subject
| |
rdfs:comment
|
- Une identité hypergéométrique est un résultat sur des sommes de termes d'une série hypergéométrique. De telles identités apparaissent fréquemment dans des problèmes de combinatoire et d'analyse d'algorithme. Les premières identités ont été trouvées à la main par des mathématiciens comme Carl Friedrich Gauss ou Ernst Kummer. Maintenant, l'objectif est d'obtenir des algorithmes qui automatisent les démonstrations de ces égalités. La liste des identités hypergéométriques est parfois appelée liste de Bailey suite à l'ouvrage de (en). (fr)
- Une identité hypergéométrique est un résultat sur des sommes de termes d'une série hypergéométrique. De telles identités apparaissent fréquemment dans des problèmes de combinatoire et d'analyse d'algorithme. Les premières identités ont été trouvées à la main par des mathématiciens comme Carl Friedrich Gauss ou Ernst Kummer. Maintenant, l'objectif est d'obtenir des algorithmes qui automatisent les démonstrations de ces égalités. La liste des identités hypergéométriques est parfois appelée liste de Bailey suite à l'ouvrage de (en). (fr)
|
rdfs:label
|
- Identité hypergéométrique (fr)
- Par Wilf–Zeilberger (es)
- Wilf–Zeilberger pair (en)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |