kehoe@scotty.dccs.upenn.edu (Brendan Kehoe) (08/29/90)
One of the Professors here at Widener is desperately looking for a program called "Reduce". It will let you create your own algebraic laws then work from them. Any pointers on servers/ftp/whatever would be *greatly* appreciated. He's hoping to be able to use this software before the end of the week, if at all possible. Brendan Kehoe | Soon: brendan@cs.widener.edu For now: kehoe@scotty.dccs.upenn.edu | Or: bkehoe@widener.bitnet