--- Richard Fateman <fateman@cs.berkeley.edu> wrote:
> We could consider reading OTTER, a theorem prover, into Maxima,
> and have something that was state of the art, instead of cooking
> up our own. I have not looked at the details though.
That would be a very interesting addition to Maxima. Otter is coded in
ANSI C, presumably for speed, so I have no idea how much work a lisp
reimplimentation would be. There appear to be no legal problems with
use of the code, so someone could undertake it if it is desirable.
CY
__________________________________
Do you Yahoo!?
Yahoo! Hotjobs: Enter the "Signing Bonus" Sweepstakes
http://hotjobs.sweepstakes.yahoo.com/signingbonus