home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / symbolic / 3533 < prev    next >
Encoding:
Internet Message Format  |  1993-01-27  |  1.1 KB
  1. Path: sparky!uunet!portal!lll-winken!overload.lbl.gov!agate!doc.ic.ac.uk!uknet!rsre!signal.dra.hmg.gb!signal.dra.hmg.gb!usenet
  2. From: heading@ccint1.rsre.mod.uk (Anthony J.R. Heading)
  3. Newsgroups: sci.math.symbolic
  4. Subject: Automatic Theorem Proving?
  5. Message-ID: <1k3q28INN82l@signal.dra.hmg.gb>
  6. Date: 26 Jan 93 16:49:12 GMT
  7. Organization: Defence Research Agency
  8. Lines: 17
  9. NNTP-Posting-Host: amigos.dra.hmg.gb
  10.  
  11. I want to write a computer algebra/theorem proving system, basically
  12. as a learning exercise and a testbed for any new ideas I might have.
  13. I guess, though, that this has been done a million times in the past,
  14. so I want to find out about important existing systems. 
  15.  
  16. I've done a literature search which has revealed singularly little, so
  17. the next approach is to ask the people on the ground...I don't want to
  18. buy any of the commercial packages - I'm interested in finding out about
  19. the underlying principles.
  20.  
  21. Can anyone refer me to articles, papers, or even software, from which
  22. I can infer the current wisdom? Also, are there any meetings or
  23. conferences which discuss this sort of thing?
  24.  
  25. Thanks
  26. Anthony Heading
  27.  
  28.