This HTML5 document contains 44 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
n17http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n7http://fr.dbpedia.org/resource/Modèle:
n6http://fr.dbpedia.org/resource/Modèle:Traduction/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n21http://mathworld.wolfram.com/
owlhttp://www.w3.org/2002/07/owl#
n14http://tt.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Constante_de_Porter
rdfs:label
Porter's constant Constante de Porter Constant de Porter
rdfs:comment
En mathématiques, la constante de Porter C (suite de l'OEIS) apparaît dans l'étude de l'efficacité de l'algorithme d'Euclide. Elle porte le nom de J. W. Porter de l'Université de Cardiff. L'algorithme d'Euclide trouve le plus grand diviseur commun de deux entiers positifs m et n. Hans Heilbronn a prouvé que le nombre moyen d'itérations de l'algorithme d'Euclide, pour n fixe et moyenné sur tous les choix d'entiers relativement premiers m < n, est Porter a démontrer que le terme d'erreur dans cette estimation est constant, et Donald Knuth a donné son expression exacte : où
rdfs:seeAlso
n21:PortersConstant.html
owl:sameAs
dbr:Porter's_constant wikidata:Q30692563 n14:Портер_константасы dbpedia-ca:Constant_de_Porter n17:11c719b59k dbpedia-de:Porter-Konstante dbpedia-ko:포터_상수
dbo:wikiPageID
14304180
dbo:wikiPageRevisionID
190516010
dbo:wikiPageWikiLink
dbpedia-fr:Fonction_zêta_de_Riemann dbpedia-fr:Constante_de_Lévy dbpedia-fr:Université_de_Cardiff category-fr:Constante_mathématique dbpedia-fr:Mathématiques dbpedia-fr:Théorème_de_Lochs dbpedia-fr:Constante_de_Glaisher–Kinkelin dbpedia-fr:Plus_grand_commun_diviseur category-fr:Théorie_analytique_des_nombres dbpedia-fr:Donald_Knuth dbpedia-fr:Hans_Heilbronn dbpedia-fr:Nombres_premiers_entre_eux dbpedia-fr:Constante_d'Euler-Mascheroni dbpedia-fr:Algorithme_d'Euclide
dbo:wikiPageLength
2232
dct:subject
category-fr:Théorie_analytique_des_nombres category-fr:Constante_mathématique
prop-fr:wikiPageUsesTemplate
n6:Référence n7:Formule n7:Mvar n7:Reflist n7:Portail n7:, n7:OEIS
prov:wasDerivedFrom
wikipedia-fr:Constante_de_Porter?oldid=190516010&ns=0
prop-fr:art
Porter's constant
prop-fr:id
1032202177
prop-fr:lang
en
foaf:isPrimaryTopicOf
wikipedia-fr:Constante_de_Porter
dbo:abstract
En mathématiques, la constante de Porter C (suite de l'OEIS) apparaît dans l'étude de l'efficacité de l'algorithme d'Euclide. Elle porte le nom de J. W. Porter de l'Université de Cardiff. L'algorithme d'Euclide trouve le plus grand diviseur commun de deux entiers positifs m et n. Hans Heilbronn a prouvé que le nombre moyen d'itérations de l'algorithme d'Euclide, pour n fixe et moyenné sur tous les choix d'entiers relativement premiers m < n, est Porter a démontrer que le terme d'erreur dans cette estimation est constant, et Donald Knuth a donné son expression exacte : où est la constante d'Euler–Mascheroni, est la fonction zêta de Riemann, est la constante de Glaisher–Kinkelin,