Re: [Maxima-discuss] ML for symbolic math

[Henry B. <hb...@pi...>]

I don't know about generic AI/ML for Maxima, but I would appreciate an AI/ML approach to *graphing* and more generally to *plotting*.

There are so many bells & whistles on the plotting mechanisms that an AI/ML program could exhaustively memorize & suggest possible plots.  Once I could see what options the AI/ML program chose, I could then edit these to fine tune the plot.

At 04:40 AM 10/1/2019, Richard Fateman wrote:
>the idea of generating integral tables by differentiation of random expressions has undoubtedly occurred to many people in the last few hundred years.  Since differentiation usually results in sums, this doesn't work well . ..
>The first heuristic in integration is to integrate each term separately , which often fails on these artificial examples, since the terms are not usually separately integrable.
>RJF
>
>On Tue, Oct 1, 2019, 3:41 AM Soegtrop, Michael <mic...@in...> wrote:
>Dear Richard,
>
>> Has anyone else looked at this paper?.
>
>Yes, and I came to the same conclusion that it doesn't really tell us that much without testing the integration mechanism with common symbolic integration benchmarks.
>
>But I am less pessimistic than you regarding the outcome of such a test. Maybe at first it might perform bad, but it should be possible to extend the random set to improve.
>
>One should not forget that pattern recognition mechanisms outperform by orders of magnitude purely symbolic methods in games like chess or go. Also modern integration mechanisms like Rubi are pattern based. The main difference between Rubi and the method in the paper is that all the patterns in Rubi are made manually, while the neural network finds them on its own.
>
>In the past neural network image recognition required manual creation of patterns. This was called "feature engineering". The essence of what is called "deep learning" these days is that this previously manual feature engineering step is now also left to the machine. The performance gain (in terms of quality) by this is very substantial. I think it is not unlikely that something similar will happen in symbolic math.
>
>But again, I completely agree that the paper would be substantially more interesting, if it would do comparisons with known benchmarks and also with state of the art symbolic integrators like Rubi.
>
>Best regards,
>
>Michael
>
>Intel Deutschland GmbH
>Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
>Tel: +49 89 99 8853-0, www.intel.de
>Managing Directors: Christin Eisenschmid, Gary Kershaw
>Chairperson of the Supervisory Board: Nicole Lau
>Registered Office: Munich
>Commercial Register: Amtsgericht Muenchen HRB 186928