Subject: Setting Divide by Zero Equal to Zero in Maxima
From: Richard Fateman
Date: Wed, 23 Feb 2011 16:48:23 -0800
On 2/23/2011 4:30 PM, Jalaluddin Morris wrote:
> Dear Professor,
>
> Are you suggesting that Isabelle/HOL, Moore and Penrose have gone "
> "... off the tracks without notice". " ?
It is far more plausible, in my opinion, that you are mischaracterizing
these programs or systems.
For example, from the Isabelle documentation,
"Isabelle comes with a large theory library of formally verified
mathematics, including elementary number theory (for example, Gauss's
law of quadratic reciprocity), analysis (basic properties of limits,
derivatives and integrals), algebra (up to Sylow's theorem) ..."
Now if Isabelle cannot add a/b+c/d correctly, that seems to me to be a
serious issue.
>
> Where is the wreckage?
Maybe under the bridge, next to you and the troll?
RJF