home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / math / 11223 < prev    next >
Encoding:
Internet Message Format  |  1992-09-11  |  713 b 
  1. Xref: sparky sci.math:11223 comp.lang.misc:3007 comp.unix.programmer:4617
  2. Path: sparky!uunet!nevada.edu!jimi!equinox!bally.com!siva
  3. From: siva@bally.com (Siva Chelliah)
  4. Newsgroups: sci.math,comp.lang.misc,comp.unix.programmer
  5. Subject: geometric theorem proving program
  6. Keywords: theorem, geometry,program
  7. Message-ID: <1992Sep10.175153.18221@bally.com>
  8. Date: 10 Sep 92 17:51:53 GMT
  9. Sender: usenet@bally.com
  10. Organization: Bally Systems
  11. Lines: 11
  12. Nntp-Posting-Host: turnip.bally.com
  13.  
  14.  
  15. Hi,
  16.   Is there any geometric theorem proving program available for IBM PC or Unix?
  17. The program should prove theorems such as :
  18.      In a triangle ABC, if AB = AC then        
  19.           angle ABC = angle ACB
  20.  
  21. etc. etc.
  22.  
  23. Thanks
  24. siva
  25.