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

psr:-Q10Q14NT-1
  skos:prefLabel "topologie différentielle"@fr, "differential topology"@en ;
  a skos:Concept ;
  skos:narrower psr:-QK8CV94F-N .

psr: a skos:ConceptScheme .
psr:-K0PQKG10-G
  skos:prefLabel "calcul différentiel"@fr, "differential calculus"@en ;
  a skos:Concept ;
  skos:narrower psr:-QK8CV94F-N .

psr:-QK8CV94F-N
  skos:definition """In mathematics, specifically differential calculus, the inverse function theorem gives a sufficient condition for a function to be invertible in a neighborhood of a point in its domain: namely, that its derivative is continuous and non-zero at the point. The theorem also gives a formula for the derivative of the inverse function. In multivariable calculus, this theorem can be generalized to any continuously differentiable, vector-valued function whose Jacobian determinant is nonzero at a point in its domain, giving a formula for the Jacobian matrix of the inverse. There are also versions of the inverse function theorem for complex holomorphic functions, for differentiable maps between manifolds, for differentiable functions between Banach spaces, and so forth. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Inverse_function_theorem">https://en.wikipedia.org/wiki/Inverse_function_theorem</a>)"""@en, """En mathématiques, le théorème d'inversion locale est un résultat de calcul différentiel. Il indique que si une fonction <i>f</i> est continûment différentiable en un point, si sa différentielle en ce point est inversible alors, localement, <i>f</i> est inversible et son inverse est différentiable. Ce théorème est équivalent à celui des fonctions implicites, son usage est largement répandu. On le trouve par exemple utilisé, sous une forme ou une autre, dans certaines démonstrations des propriétés du multiplicateur de Lagrange. Il est aussi utilisé pour démontrer le théorème du redressement. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_d%27inversion_locale">https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_d%27inversion_locale</a>)"""@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_d%27inversion_locale>, <https://en.wikipedia.org/wiki/Inverse_function_theorem> ;
  skos:inScheme psr: ;
  skos:prefLabel "inverse function theorem"@en, "théorème d'inversion locale"@fr ;
  skos:broader psr:-K0PQKG10-G, psr:-Q10Q14NT-1 ;
  a skos:Concept .