Hello,
this might be of interest to you.
I just some minutes ago found this paper,
which may interests you too:
A Critique of the Mathematical Abilities of CA Systems
http://math.unm.edu/~wester/cas_review.html
http://math.unm.edu/~wester/cas/book/Wester.pdf
I don't know how much of it is an issue these days;
the paper is from 1999.
But maybe interesting to get some impressions of this kind of critique.
pan
_______________________________________________
Axiom-math mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-math
