Robert Risch
Robert Henry Risch (* 1939)[1] ist ein US-amerikanischer Mathematiker, der sich mit Computeralgebra beschäftigt.
Leben und Wirken
Risch promovierte 1968 an der University of California, Berkeley bei Maxwell Rosenlicht. In seiner Dissertation The problem of integration in finite terms[2][3] löste er das Problem der algebraischen Integration elementarer Funktionen, das schon Joseph Liouville im 19. Jahrhundert aufgeworfen hatte.
Dabei wird nach einem Algorithmus gefragt, welcher einerseits entscheiden kann, ob das unbestimmte Integral einer elementaren Funktion durch andere elementare Funktionen ausdrückbar ist, und andererseits diesen Ausdruck finden soll. „Elementar“ sind Funktionen, die mit Hilfe der elementaren arithmetischen Operationen inklusive der Verkettung aus Wurzelausdrücken, trigonometrischen Funktionen (mit Umkehrfunktionen), dem Logarithmus und der Exponentialfunktion in endlichen Termen gebildet werden können.
Der entsprechende Algorithmus heißt Risch-Algorithmus, dessen vollständige Implementierung im Computer eine komplexe, nicht-triviale Aufgabe war. Sie wurde erst durch Manuel Bronstein 1990 erreicht (im Computeralgebrasystem Axiom).[4]
Nach seiner Promotion arbeitete er im IBM Thomas Watson Research Center, von 1970 bis 1972 am Institute for Advanced Study.
Weblinks
- R. H. Risch: The solution of the problem of integration in finite terms. Bulletin AMS, Band 76, 1970, S. 605–608.
Einzelnachweise
- Geburtsdatum nach IAS-Mitgliedsbuch 1980
- Robert Risch: The problem of integration in finite terms. In: Transactions of the AMS. Band 139, 1969, S. 167–189, doi:10.1090/S0002-9947-1969-0237477-8 (Volltext [PDF]).
- Robert Risch im Mathematics Genealogy Project (englisch)
- Manuel Bronstein: Integration of elementary functions. In: Journal of Symbolic Computation. Band 9, 1990, S. 117–173, doi:10.1016/S0747-7171(08)80027-2.