@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:-BLP2HLSP-6
  skos:prefLabel "calcul intégral"@fr, "integral calculus"@en ;
  a skos:Concept ;
  skos:narrower psr:-WRJKR4C1-R .

psr: a skos:ConceptScheme .
psr:-RXQC777M-K
  skos:prefLabel "algèbre différentielle"@fr, "differential algebra"@en ;
  a skos:Concept ;
  skos:narrower psr:-WRJKR4C1-R .

psr:-WRJKR4C1-R
  skos:broader psr:-RXQC777M-K, psr:-BLP2HLSP-6 ;
  skos:prefLabel "symbolic integration"@en, "intégration symbolique"@fr ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Symbolic_integration> ;
  skos:definition """In calculus, <b>symbolic integration</b> is the problem of finding a formula for the antiderivative, or <i>indefinite integral</i>, of a given function <i>f</i>(<i>x</i>), i.e. to find a differentiable function <i>F</i>(<i>x</i>) such that
<br/>
<br/><dl><dd><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 {\\rac {dF}{dx}}=f(x).}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <mrow class="MJX-TeXAtom-ORD">
<br/>          <mfrac>
<br/>            <mrow>
<br/>              <mi>d</mi>
<br/>              <mi>F</mi>
<br/>            </mrow>
<br/>            <mrow>
<br/>              <mi>d</mi>
<br/>              <mi>x</mi>
<br/>            </mrow>
<br/>          </mfrac>
<br/>        </mrow>
<br/>        <mo>=</mo>
<br/>        <mi>f</mi>
<br/>        <mo stretchy="false">(</mo>
<br/>        <mi>x</mi>
<br/>        <mo stretchy="false">)</mo>
<br/>        <mo>.</mo>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle {\\rac {dF}{dx}}=f(x).}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/deca50a07bd47a722dde852a53c2bf884de9f4f4" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -2.005ex; width:11.956ex; height:5.509ex;" alt="{\\rac  {dF}{dx}}=f(x)."></span></dd></dl>
<br/>This is also denoted
<br/>
<br/><dl><dd><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(x)=\\\\int f(x)\\\\,dx.}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <mi>F</mi>
<br/>        <mo stretchy="false">(</mo>
<br/>        <mi>x</mi>
<br/>        <mo stretchy="false">)</mo>
<br/>        <mo>=</mo>
<br/>        <mo>∫<!-- ∫ --></mo>
<br/>        <mi>f</mi>
<br/>        <mo stretchy="false">(</mo>
<br/>        <mi>x</mi>
<br/>        <mo stretchy="false">)</mo>
<br/>        <mspace width="thinmathspace"></mspace>
<br/>        <mi>d</mi>
<br/>        <mi>x</mi>
<br/>        <mo>.</mo>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle F(x)=\\\\int f(x)\\\\,dx.}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d18cda981a68bc3565b1a72eb15c618824f6a045" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -2.338ex; width:18.556ex; height:5.676ex;" alt="F(x)=\\\\int f(x)\\\\,dx."> 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Symbolic_integration">https://en.wikipedia.org/wiki/Symbolic_integration</a>)"""@en ;
  dc:created "2023-08-23"^^xsd:date ;
  skos:inScheme psr: ;
  dc:modified "2023-08-23"^^xsd:date ;
  a skos:Concept .