What I need is:
- symbolic calculation capabilities (I don't need software that does numerical stuff)
- extensible with a simple programming language. It can be interpreted (Python or Ruby), but something classical like Lisp or Haskell would also be nice
- great documentation
- pre-compiled versions for Linux
Is there anything available?