Related: Poor man integrator (1), a 99 lines of maple symbolic integrator that uses an heuristic (parallel integrator). http://www-sop.inria.fr/cafe/Manuel.Bro

Related: Poor man integrator (1), a 99 lines of maple symbolic integrator that uses an heuristic (parallel integrator). http://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/index.html http://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/index.ht... Clearly, if your generator for equations is limited the system can learn the dictionary lhs (integral) => rhs (derivative) to go rhs => lhs. (integrate)