home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / symbolic / 2284 < prev    next >
Encoding:
Internet Message Format  |  1992-08-30  |  759 b 
  1. Path: sparky!uunet!ulowell!news.bbn.com!olivea!mintaka.lcs.mit.edu!zurich.ai.mit.edu!jaffer
  2. From: jaffer@zurich.ai.mit.edu (Aubrey Jaffer)
  3. Newsgroups: sci.math.symbolic
  4. Subject: long symbolic runs
  5. Message-ID: <JAFFER.92Aug29231912@camelot.ai.mit.edu>
  6. Date: 30 Aug 92 04:19:12 GMT
  7. Sender: news@mintaka.lcs.mit.edu
  8. Organization: M.I.T. Artificial Intelligence Lab.
  9. Lines: 8
  10.  
  11. Has anyone run SYMBOLIC mathematical compatuations which, using the
  12. best commands for the job, took days to complete and yet produced
  13. answers small enough to be useful?
  14.  
  15. If this is a common occurence then it would seem to be a good
  16. idea for symbolic math systems to dump their core images every few
  17. hours so that large computations will not be lost.  Do any systems
  18. offer this feature?
  19.