An interesting discussion on rule-based integration and a new symbolic computer algebra package for it, named Rubi is ongoing in this long usenet thread.

(The Rubi link above seems to work ok, although the link in the top article of that usenet thread may not. YMMV.)

There's also some interesting subtext related to how practical developments in computer algebra systems can come about.

acer


Please Wait...