3 ms·
e.g. Douglas Lenat's Automated Mathematician [1]... there are probably newer, better examples. [1] http://en.wikipedia.org/wiki/Automated_Mathematician http://
by pjmorris 12y ago
e.g. Douglas Lenat's Automated Mathematician [1]... there are probably newer, better examples.
[1] http://en.wikipedia.org/wiki/Automated_Mathematician http://en.wikipedia.org/wiki/Automated_Mathematician