@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:-N0RX1653-1 .

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

psr: a skos:ConceptScheme .
psr:-N0RX1653-1
  skos:inScheme psr: ;
  skos:definition """L’algorithme de Risch, dû à Robert Risch, est un algorithme destiné aux systèmes de calcul formel, permettant de calculer des primitives, c'est-à-dire de déterminer une fonction, connaissant sa dérivée. L’algorithme transforme ce problème en un problème d'algèbre (ou plus précisément d'algèbre différentielle). Il est basé sur la forme de la fonction à intégrer et sur des méthodes pour intégrer les fonctions rationnelles, les radicaux, les logarithmes, et les exponentielles. Risch, qui développa l'algorithme en 1968, l'a appelé une procédure de décision, parce qu'il est capable de déterminer si une fonction admet une primitive exprimable à l'aide des fonctions élémentaires (et, si c'est le cas, de la déterminer explicitement). L’algorithme de Risch est résumé (en plus de cent pages) dans Algorithms for Computer Algebra, de Keith Geddes, Stephen Czapor et George Labahn. L'algorithme de Risch–Norman, plus rapide mais moins général, fut développé en 1976. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Algorithme_de_Risch">https://fr.wikipedia.org/wiki/Algorithme_de_Risch</a>)"""@fr, """In symbolic computation, the Risch algorithm is a method of indefinite integration used in some computer algebra systems to find antiderivatives. It is named after the American mathematician Robert Henry Risch, a specialist in computer algebra who developed it in 1968. The algorithm transforms the problem of integration into a problem in algebra. It is based on the form of the function being integrated and on methods for integrating rational functions, radicals, logarithms, and exponential functions. Risch called it a decision procedure, because it is a method for deciding whether a function has an elementary function as an indefinite integral, and if it does, for determining that indefinite integral. However, the algorithm does not always succeed in identifying whether or not the antiderivative of a given function in fact can be expressed in terms of elementary functions. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Risch_algorithm">https://en.wikipedia.org/wiki/Risch_algorithm</a>)"""@en ;
  dc:modified "2023-08-23"^^xsd:date ;
  dc:created "2023-08-23"^^xsd:date ;
  a skos:Concept ;
  skos:related psr:-QMBV01Q2-B ;
  skos:prefLabel "Risch algorithm"@en, "algorithme de Risch"@fr ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Risch_algorithm>, <https://fr.wikipedia.org/wiki/Algorithme_de_Risch> ;
  skos:broader psr:-BLP2HLSP-6, psr:-RXQC777M-K .

psr:-QMBV01Q2-B
  skos:prefLabel "primitive"@fr, "antiderivative"@en ;
  a skos:Concept ;
  skos:related psr:-N0RX1653-1 .

