Talk:Automated Mathematician

A tentative index to extend this article
It would be very interesting if the article may be structured as follows:
 * 1) Introduction to Automated Mathematician
 * 2) What is the goal of AM and
 * 3) how was the state of the art at the time it was written
 * 4) Describe the structure of the program and the heuristic method of AM
 * 5) The actual program. Not necessarily the original code, but an implementation of the heuristic method in a modern dialect of Lisp like Scheme or any other
 * 6) Examples to show how the method works
 * 7) controversy of original discovery. This part can be improved by describing the problem and reconstructing the controversial facts of that time. A run of the program may be included here
 * 8) Successors:
 * 9) Instead of just talking about Eurisko, a general description of the influence o AM in other programs, including Eurisko should be mentioned.
 * 10) Also what was removed to improve the program to evolve to Eurisko. But the details and code of that program should be in it's own entry in wikipedia. (That article, also needs to improve).
 * 11) Of course mention the cited program Cyrano of Ken Haase
 * 12) Further reading
 * 13) See also
 * 14) External links

Ken Haase thesis describes AM, but the linked page does not display figures (at least in my pc).

Also some care should be taken to mention AM in the related pages like Automated Theorem Proving, Automated Scientific Discovery (if it is the case).

External links modified
Hello fellow Wikipedians,

I have just modified 2 one external links on Automated Mathematician. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added tag to https://saltworks.stanford.edu/assets/druid:sb448rj9905.pdf
 * Added archive https://web.archive.org/web/20140806035424/http://ijcai.org/Past%20Proceedings/IJCAI-77-VOL2/PDF/099.pdf to http://www.ijcai.org/Past%20Proceedings/IJCAI-77-VOL2/PDF/099.pdf
 * Added archive https://web.archive.org/web/20060528011654/http://www.comp.glam.ac.uk:80/pages/staff/efurse/Abstracts/Why-did-AM-halt.html to http://www.comp.glam.ac.uk/pages/staff/efurse/Abstracts/Why-did-AM-halt.html

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at ).

Cheers.— InternetArchiveBot  (Report bug) 05:58, 22 October 2016 (UTC)

This intuition?
"This intuition was the basis of AM's successor". What intuition? 86.132.221.230 (talk) 17:42, 21 February 2018 (UTC)