One of the Axiom project goals is to develop a "Computer Algebra Test
Suite" (CATS). Albert Rich has done this with RUBI and integration. That
work is already partially in the test suite and work has been done on the
pattern matching. Large datasets (like Kamke) are always welcome. Some,
such as Sc
thanks for all the references :)
I'm not sure if I'm going to repeat comments I made already somewhere.
First, has Dan Zwillinger weighed in? I think that it would be useful
to see what he has done.
Next, there are ambiguities among CAS and even within a single CAS.
For example, in Macsyma/
I agree that this is doable and would be useful; but I would include a
built-in (or separate) lint that gives a context for troubleshooting
when the 57% (or whatever) occurs.
Ray
On 08/18/2016 02:45 PM, Tim Daly wrote:
Fateman [0] raised a set of issues with the OpenMath
approach. We are not
Fateman [0] raised a set of issues with the OpenMath
approach. We are not trying to be cross-platform in this
effort. Axiom does provide an algebraic scaffold so it is
possible that the selatex markup might be useful elsewhere
but that is not a design criterion.
Fateman[1] also raises some difficu
