Rischs algoritme
Utseende
Språkvask: Teksten i denne artikkelen kan ha behov for språkvask for å oppnå en høyere standard. Om du leser gjennom og korrigerer der nødvendig, kan du gjerne deretter fjerne denne malen. |
Kildeløs: Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet. |
Rischs algoritme er en algoritme for symbolsk databehandling av ubestemte integrasjoner. Algoritmen avgjør hvorvidt den ubestemte integrasjonen til en gitt funksjon kan uttrykkes i termer av visse funksjoner, og som da finner en tiltenkt løsning. Med "visste funksjoner" menes normalt de elementære funksjonene, men metoden kan selv utvides slik at den håndterer andre funksjoner.
Den bakomliggende teorien stammer blant annet ifra Joseph Liouville. Robert Risch utviklet teorien til en systematisk metode og beskrev den 1969 i artikkelen The Problem of Integrasjon in Finite Terms. Algoritmen er en hjørnestein i moderne dataalgebrasystem, men veldig komplisert å implementere praktisk.