Xref: utzoo comp.lang.c:39303 comp.misc:12565 comp.ai:9261
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!apple!tahoe!bally!siva
From: siva@bally.Bally.COM (Siva Chelliah/50000)
Newsgroups: comp.lang.c,comp.misc,comp.ai
Subject: theorem proving program
Keywords: theorem, geometry
Message-ID: <497@bally.Bally.COM>
Date: 15 May 91 22:08:40 GMT
Organization: The Pros From Dover
Lines: 12

I like to have a geometric theorem proving program for MS-DOS.
Any pointers ?

Thanks
siva (siva@bally.bally.com)


-- 
/=*=*=*=*=*=*=*=*=*=*=*=*=*=*-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\
| Siva@bally.bally.com     | He who asks is a fool for five minuites,|
| Bally Systems,           | but he who does not ask remains a fool  |
| Reno,  NV 89502          | forever      -Old Chinese saying        |