Here is where the paper Richard mentions is located on the University of Edinburgh website:
http://www.dai.ed.ac.uk/pub/daidb/papers/rp357.pdf Ted On Wed, Oct 12, 2016 at 7:35 PM, rjf <fate...@gmail.com> wrote: > Bundy's bibliography does not include this paper, which includes my critique > of > PRESS > http://dl.acm.org/citation.cfm?id=43879 > > and which has Bundy as a co-author. > > I think that you would find (unless PRESS has been substantially changed) > that > PRESS has significantly fewer capabilities, returns results that are > incomplete > sometimes. Sometimes the results are mathematically wrong. For instance > how effective would your "solve" program be if it could not divide > polynomials? > > There may be some task at which the PRESS meta-level analysis is > useful, but it probably isn't improving "symbolic mathematical equation > solving" for > a CAS. > RJF -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.