Get the latest tech news
Rubi: Symbolic integrator based on an extensive system of integration rules
A symbolic integrator based on an extensive system of integration rules
By systematically applying its extensive, coherent collection of symbolic integration rules, Rubi is able to find the optimal antiderivative of large classes of mathematical expressions. Also Rubi can show the rules and intermediate steps it uses to integrate an expression, making the system a great tool for both learning and doing mathematics. Click on Vision to read a short, plain-language essay describing the numerous advantages of organizing mathematical knowledge as a rule-based decision tree like Rubi does.
Or read this on Hacker News