|
From: Roland S. <sal...@gm...> - 2017-09-07 07:55:32
|
Hi, Richard Fateman's Simplifier Paper has now been brought into pdf format. Note that Richard has recently added the text of one of the subsections that were still missing, on the simplifier of the CRE subsystem. The file can be found <http://people.eecs.berkeley.edu/~fateman/papers/Fateman-Salz_Simplifier_Paper.pdf> here. As was agreed on the list, the paper should be integrated into the documentation page of the Maxima homepage http://maxima.sourceforge.net/documentation.html. The entry could be placed under "Publications" as Fateman, Richard J.: "Macsyma's General Simplifier: Philosophy and Operation", Macsyma Users Conference, Washington D.C. 1979, in: MUC-79, 563-582. Notes have been added to the original paper by the author from today's perspective. A subsection that was not written as of 1979 has also been added in 2017. Could someone with the necessary privileges please do this? Once the paper has been placed in Maxima's homepage, the hyperlink from the introduction to simplification in the manual can be adapted accordingly. Best regards, Roland |