User Portlet

Co-author of the muMATH and Derive computer algebra systems, and author of the muLISP LISP-based AI development system. Currently conducting independent research demonstrating the immense advantages of organizing mathematical knowledge as a rule-based decision tree. As proof of concept, a Rule-based integrator (Rubi) has been implemented in Mathematica pattern-matching code. The current Rubi 4.15 defines over 6600 integration rules which have been thoroughly tested on a test suite having over 70,000.problems. Rubi is freely available at http://www.apmaths.uwo.ca/~arich/ for users of Mathematica 7 or better.