See, for example, Rubi, or my earlier project Tilu, for programs that > absorbed,
in some sense learning from tables of integrals. This is not classical machine learning, because the objects being learned are patterns. So the result for sin(x)dx works for sin(u)du, as a trivial pattern match. Categorizing the patterns so there is an effect search method for finding one that matches a problem is important for efficiency. Also important (and quite a challenge to do effectively) is a method to simplify expressions. So there are ways of using "data" productively in methods for symbolic definite integration. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/63f3e633-981a-4ae1-b6ac-91ca2d98a238%40googlegroups.com.
