I am rebuilding the Axiom compiler to support the algorihmic
proof technology. It is a difficult problem and I still have much
to learn. However, I think that we need to connect the "proof"
side of computational mathematics with computer algebra
computational mathematics. After nearly 3 years taki
I think one of the most important suggestions is the use of
a literature reference to the implemented algorithm. They
mention using DOI but any reference would do. I have tried
to figure out literature references to algorithms, some of
which decorate Axiom's current source tree. I wish there
were m
Tim:
The notion of a "set of measure zero" could just
be hiding the fact that they just don't know what it is ;)
On to something less humorous:
I am about to up grade my primary system to a MAC device
with Windows 10 and Linux as alternate boots.
This is part of a project I've been contemplat