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

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
  • 858771 (xsd:integer)
dbo:wikiPageLength
  • 3649 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 173393351 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2003 (xsd:integer)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:langue
  • fr (fr)
  • fr (fr)
prop-fr:lienAuteur
  • Donald Knuth (fr)
  • Ronald Graham (fr)
  • Donald Knuth (fr)
  • Ronald Graham (fr)
prop-fr:lieu
  • Paris (fr)
  • Paris (fr)
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