Co-author of the muMATH and Derive computer algebra systems, and author of the muLISP LISP-based AI development system. Currently doing 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.
LOCATION: Hawaii Island
BLOG: Not indicated
INTERESTS IN JOBS & NETWORKING: Not indicated