On Aug 27, 2009, at 11:33 PM, Richard Fateman wrote:
> Not exactly responsive to your question, but there is some info here..
>
>
> http://www.cs.berkeley.edu/~fateman/papers/simplifier.txt
>
> RJF
>
Thanks, an interesting and informative read (as some of your other
papers on numerics in Lisp and other things)!
Regards,
Ziga