Instruct: Given a premise, retrieve hypotheses that are entailed by the premise.
Query: In symbolic computation (or computer algebra), at the intersection of mathematics and computer science, the Risch algorithm is an algorithm for indefinite integration. It is 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 Risch algorithm as developed before the 1970s
Dresher was an American mathematician
She of a heritage that starts with an R
Robert Bernard Reich is a man
Wolfgang Rihm is a composer 
alice cant count past 6
Robert Bernard Reich worked in government
Rachel is a practicing Jew.
Rick has a very strong temperment
This man hurt his back after several hours of computing in which he solved the halting problem as outlined by Church's thesis.
An example of someone with the initials RP is Romano Prodi.
Robert Williams is a veteran
Richard starts with an R
Richard has attended his school already 
Will Roush is over 30
Ross is a musician. 
Rivington has people in it
Ruth opened the way for many women to acquire degrees in mathematics.
Yuri Manin knows how to multiply
Rush has specialized courses.
Robin schulz was a childhood friend of Richard Judge.
Rishika Singh has moved into the top tier of her profession. 
Robert Henry Risch is the father of computer algebra 
Robert Henry Risch developed more than just the Risch algorithm
Risch developed symbolic computation in 1967.