Dan Hoey's posts to sci.math.symbolic

DateSubject
June 11, 1992Case in symbolic math names.
July 7, 1992Are there any public domain symb.math pkgs?
December 16, 1992More lies and abuses from Weiguang Huang (was SIMTEL-20 symbolic...)
September 19, 1997NP-completeness algorithm: errata