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

psr:-BLP2HLSP-6
  skos:prefLabel "calcul intégral"@fr, "integral calculus"@en ;
  a skos:Concept ;
  skos:narrower psr:-QMBV01Q2-B .

psr:-N0RX1653-1
  skos:prefLabel "algorithme de Risch"@fr, "Risch algorithm"@en ;
  a skos:Concept ;
  skos:related psr:-QMBV01Q2-B .

psr:-QMBV01Q2-B
  skos:exactMatch <https://fr.wikipedia.org/wiki/Primitive>, <https://en.wikipedia.org/wiki/Antiderivative> ;
  a skos:Concept ;
  skos:prefLabel "antiderivative"@en, "primitive"@fr ;
  skos:inScheme psr: ;
  skos:altLabel "primitive integral"@en, "indefinite integral"@en, "primitive function"@en, "inverse derivative"@en ;
  skos:broader psr:-BLP2HLSP-6 ;
  skos:related psr:-N0RX1653-1 ;
  skos:definition """In calculus, an <b>antiderivative</b>, <b>inverse derivative</b>, <b>primitive function</b>, <b>primitive integral</b> or <b>indefinite integral</b> of a function <span class="texhtml"><i>f</i></span> is a differentiable function <span class="texhtml"><i>F</i></span> whose derivative is equal to the original function <span class="texhtml"><i>f</i></span>. This can be stated symbolically as <span class="texhtml"><i>F' </i> = <i>f</i></span>. The process of solving for antiderivatives is called <b>antidifferentiation</b> (or <b>indefinite integration</b>), and its opposite operation is called <i>differentiation</i>, which is the process of finding a derivative. Antiderivatives are often denoted by capital Roman letters such as <span class="texhtml mvar" style="font-style:italic;">F</span> and <span class="texhtml mvar" style="font-style:italic;">G</span>.
<br/>Antiderivatives are related to definite integrals through the second fundamental theorem of calculus: the definite integral of a function over a closed interval where the function is Riemann integrable is equal to the difference between the values of an antiderivative evaluated at the endpoints of the interval.
<br/>In physics, antiderivatives arise in the context of rectilinear motion (e.g., in explaining the relationship between position, velocity and acceleration). The discrete equivalent of the notion of antiderivative is antidifference. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Antiderivative">https://en.wikipedia.org/wiki/Antiderivative</a>)"""@en, """En mathématiques, une <b>primitive</b> d’une fonction réelle (ou holomorphe) <span class="texhtml mvar" style="font-style:italic;">f</span> est une fonction <span class="texhtml mvar" style="font-style:italic;">F</span> dont <span class="texhtml mvar" style="font-style:italic;">f</span> est la dérivée&nbsp;:
<br/><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 F'=f}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msup>
<br/>          <mi>F</mi>
<br/>          <mo>′</mo>
<br/>        </msup>
<br/>        <mo>=</mo>
<br/>        <mi>f</mi>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle F'=f}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c10131b70a7b0b4c39667f5386b14c449a5217e7" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.671ex; width:6.877ex; height:2.843ex;" alt="{\\\\displaystyle F'=f}"></span>.
<br/>Il s’agit donc d’un antécédent pour l’opération de dérivation.
<br/>La détermination d’une primitive sert d’abord au calcul des intégrales de fonctions continues sur un segment, en application du théorème fondamental de l'analyse.
<br/>
<br/><center><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 \\\\int _{a}^{b}f(x)\\\\;\\\\mathrm {d} x=F(b)-F(a)}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msubsup>
<br/>          <mo>∫<!-- ∫ --></mo>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>a</mi>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>b</mi>
<br/>          </mrow>
<br/>        </msubsup>
<br/>        <mi>f</mi>
<br/>        <mo stretchy="false">(</mo>
<br/>        <mi>x</mi>
<br/>        <mo stretchy="false">)</mo>
<br/>        <mspace width="thickmathspace"></mspace>
<br/>        <mrow class="MJX-TeXAtom-ORD">
<br/>          <mi mathvariant="normal">d</mi>
<br/>        </mrow>
<br/>        <mi>x</mi>
<br/>        <mo>=</mo>
<br/>        <mi>F</mi>
<br/>        <mo stretchy="false">(</mo>
<br/>        <mi>b</mi>
<br/>        <mo stretchy="false">)</mo>
<br/>        <mo>−<!-- − --></mo>
<br/>        <mi>F</mi>
<br/>        <mo stretchy="false">(</mo>
<br/>        <mi>a</mi>
<br/>        <mo stretchy="false">)</mo>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle \\\\int _{a}^{b}f(x)\\\\;\\\\mathrm {d} x=F(b)-F(a)}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/3418a08f155cd6d30b9c93c5263579878b685f2c" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -2.338ex; width:26.74ex; height:6.343ex;" alt="{\\\\displaystyle \\\\int _{a}^{b}f(x)\\\\;\\\\mathrm {d} x=F(b)-F(a)}"></span></center>
<br/>De nombreuses méthodes de calcul permettent d’exprimer des primitives pour certaines combinaisons de fonctions usuelles, mais le traitement général du problème diffère du calcul de la dérivée pour deux raisons essentielles&nbsp;:
<br/>
<br/><ul><li>il n’y a pas unicité de la primitive pour une fonction donnée, ce qui explique également l’absence d’opérateur de primitive analogue au prime pour la dérivée (même si pour une fonction notée avec une lettre minuscule, une primitive est souvent notée avec la majuscule associée)&nbsp;;</li>
<br/><li>quel que soit l’ensemble fini de fonctions usuelles que l’on se donne, certaines combinaisons de ces fonctions n’admettent aucune primitive qui puisse s’exprimer comme combinaison de fonctions usuelles. Les conditions précises d’existence de l’expression d’une primitive sont explicitées par le théorème de Liouville.</li></ul>
<br/>Toute fonction réelle continue sur un intervalle, voire continue par morceaux, admet une primitive. En revanche, une fonction holomorphe sur un ouvert de <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 \\\\mathbb {C} }">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <mrow class="MJX-TeXAtom-ORD">
<br/>          <mi mathvariant="double-struck">C</mi>
<br/>        </mrow>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {C} }</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:1.678ex; height:2.176ex;" alt="\\\\mathbb {C} "></span> n’admet une primitive que si son intégrale curviligne sur tout lacet est nulle (par exemple si l’ouvert de définition est simplement connexe, d’après le théorème intégral de Cauchy). 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Primitive">https://fr.wikipedia.org/wiki/Primitive</a>)"""@fr .

psr: a skos:ConceptScheme .
