@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr: a skos:ConceptScheme .
psr:-CVDPQB0Q-M
  skos:prefLabel "natural numbers"@en, "entier naturel"@fr ;
  a skos:Concept ;
  skos:narrower psr:-VPSHM3X7-T .

psr:-VPSHM3X7-T
  skos:altLabel "tau number"@en, "nombre tau"@fr ;
  skos:prefLabel "refactorable number"@en, "nombre refactorisable"@fr ;
  skos:definition """En mathématiques, un nombre refactorisable ou nombre tau est un entier n > 0 qui est divisible par le nombre total τ(n) de ses diviseurs. Les premiers nombres refactorisables sont listés dans la suite A033950 de l'OEIS 1, 2, 8, 9, 12, 18, 24, 36, 40, 56, 60, 72, 80, 84, 88, 96. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Nombre_refactorisable">https://fr.wikipedia.org/wiki/Nombre_refactorisable</a>)"""@fr, """A <b>refactorable number</b> or <b>tau number</b> is an integer <i>n</i> that is divisible by the count of its divisors, or to put it algebraically, <i>n</i> is such that <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\	au (n)\\\\mid n}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>τ<!-- τ --></mi>         <mo stretchy="false">(</mo>         <mi>n</mi>         <mo stretchy="false">)</mo>         <mo>∣<!-- ∣ --></mo>         <mi>n</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\	au (n)\\\\mid n}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/dc2ae42ea750719b35f5199ebbe4f4eb6d16d129" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:7.738ex; height:2.843ex;" alt="{\\\\displaystyle \\	au (n)\\\\mid n}"></span>. The first few refactorable numbers are listed in (sequence A033950 in the OEIS) as  <dl><dd>1, 2, 8, 9, 12, 18, 24, 36, 40, 56, 60, 72, 80, 84, 88, 96, 104, 108, 128, 132, 136, 152, 156, 180, 184, 204, 225, 228, 232, 240, 248, 252, 276, 288, 296, ...</dd></dl> For example, 18 has 6 divisors (1 and 18, 2 and 9, 3 and 6) and is divisible by 6. There are infinitely many refactorable numbers. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Refactorable_number">https://en.wikipedia.org/wiki/Refactorable_number</a>)"""@en ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Nombre_refactorisable>, <https://en.wikipedia.org/wiki/Refactorable_number> ;
  skos:broader psr:-CVDPQB0Q-M, psr:-FM1M1PDT-5 ;
  dc:created "2023-07-26"^^xsd:date ;
  skos:inScheme psr: ;
  dc:modified "2024-10-18"^^xsd:date ;
  a skos:Concept .

psr:-FM1M1PDT-5
  skos:prefLabel "suite d'entiers"@fr, "integer sequence"@en ;
  a skos:Concept ;
  skos:narrower psr:-VPSHM3X7-T .

