3 ms·
No mention of Axiom: http://www.axiom-developer.org/ http://www.axiom-developer.org/ As far as I know, it's the only CAS to have a full implementation of the R
by torrent-of-ions 10y ago
No mention of Axiom: http://www.axiom-developer.org/ http://www.axiom-developer.org/
As far as I know, it's the only CAS to have a full implementation of the Risch algorithm for symbolic integration, and it's also written in a literate programming style.
- lispm 10y agoand uses a powerful type system...
- jordigh 10y agoI've always wondered about the Risch "algorithm". It's not really an algorithm because at one crucial step it says "determine if this expression is zero" which is essentially an open problem. What is it that Axiom does? Does it find antiderivatives where others fail?
- thechao 10y agoThe Risch "algorithm", in this sense, is an implementation of the Risch decision procedure; in particular, the Risch-Bronstein-Trager algorithm. Axiom's version was written, in large part, by Bronstein, himself. Axiom's implementation is complete in the sense of capturing the entire Risch decision procedure for elementary functions: it either returns the antiderivative or returns a proof that no such antiderivative exists. However, while elementary functions are extremely important, they aren't the whole story for functions; in that sense, Axiom is far weaker than, say, Mathematica.