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…
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…
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…
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…
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…
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…