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
   1. What is the goal of AM and
   2. how was the state of the art at the time it was written
2. Describe the structure of the program and the heuristic method of AM
3. 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
4. Examples to show how the method works
5. 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
6. Successors:
   1. Instead of just talking about Eurisko, a general description of the influence o AM in other programs, including Eurisko should be mentioned.
   2. 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).
   3. Of course mention the cited program Cyrano of Ken Haase
7. Further reading
8. See also
9. 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 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 {{dead link}} 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 {{Sourcecheck}}).

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 18 January 2022).

• If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
• If you found an error with any archives or the URLs themselves, you can fix them with this tool.

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)