I was looking at the descriptions of different CAS and finally decided to narrow it down to Maxima and FRICAS/OpenAxiom. I hope somebody can answer the following questions:
1. What's the nature of the fork between FRICAS/OpenAxiom? Seems like FRICAS points to OpenAxiom documentation, does that mean all their features are essentially the same? Should I give a try to both or just one of them?
2. A quick rundown on Maxima vs FRICAS/OpenAxiom. Again, may be there's something on Web(?).