Subject: Setting Divide by Zero Equal to Zero in Maxima
From: Jalaluddin Morris
Date: Tue, 22 Feb 2011 20:25:35 +0800
Dear List Members,
I have attached a pdf addressing the question as to why one might wish
to have the option of x / 0 = 0 in Maxima.
On the subject of Isabelle/Hol, members may wish to download the
software from
http://www.cl.cam.ac.uk/research/hvg/Isabelle/
and familiarize themselves with the GUI, despite the steep learning curve.
Regards,
Jalaluddin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: discreet_charm.pdf
Type: application/pdf
Size: 27551 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20110222/4244c3db/attachment-0001.pdf>;