Risch's Decision Procedure For Integration, Not Surprisingly,
Uses A Recursion On The Number And Type Of The Extensions From The
Rational Functions Needed To Represent The Integrand.
Home › Fortune Cookies › Miscellaneous Collections
Risch's decision procedure for integration, not surprisingly,