ustcscgy

6 ms·

1. 1.▲
   by ustcscgy 14y ago

   Again, I'd like to say, AXIOM is the most powerful Computer Algebra System. Its powerful, rich, strong and dynamic type system allows using type deduction to "prove" (Curry–Howard correspondence). For example, by its implementation of Risch
2. 2.▲
   by ustcscgy 14y ago

   Wow, as a emacs user, I think the "conkeror" browser is better : it's entirely based on firefox, but uses javascript as its extension languge. Just like Emacs, kernel + extension , instead of lightweight or 'unix philosophy'
3. 3.▲
   by ustcscgy 14y ago

   Well, there is a expression that mathematica can not Integrate[] it, but AXIOM can. integrate((x/sqrt(x * x * x * x + 10 * x * x - 96 * x - 71)),x) AXIOM is written in lisp and latex (literate programming), it's more powerful than MAXIMA.