@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr: a skos:ConceptScheme .
psr:-P36DDZRM-B
  skos:prefLabel "Rolle's theorem"@en, "théorème de Rolle"@fr ;
  a skos:Concept ;
  skos:broader psr:-S2G3JF79-1 .

psr:-S2G3JF79-1
  skos:narrower psr:-P36DDZRM-B ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Mean_value_theorem>, <https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_des_accroissements_finis> ;
  skos:definition """En analyse, le théorème des accroissements finis (en abrégé : TAF) est à la fois une généralisation et un corollaire du théorème de Rolle. Pour toute fonction dérivable d'une variable réelle, son taux d'accroissement entre deux valeurs est réalisable comme pente d'une des tangentes à son graphe. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_des_accroissements_finis">https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_des_accroissements_finis</a>)"""@fr, """In mathematics, the mean value theorem (or Lagrange theorem) states, roughly, that for a given planar arc between two endpoints, there is at least one point at which the tangent to the arc is parallel to the secant through its endpoints. It is one of the most important results in real analysis. This theorem is used to prove statements about a function on an interval starting from local hypotheses about derivatives at points of the interval. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Mean_value_theorem">https://en.wikipedia.org/wiki/Mean_value_theorem</a>)"""@en ;
  skos:inScheme psr: ;
  skos:prefLabel "théorème des accroissements finis"@fr, "Lagrange theorem"@en ;
  skos:broader psr:-MDFZ99KQ-Q ;
  a skos:Concept .

psr:-MDFZ99KQ-Q
  skos:prefLabel "fonction numérique"@fr, "real-valued function"@en ;
  a skos:Concept ;
  skos:narrower psr:-S2G3JF79-1 .