FriCAS — активно развиваемая ветка Axiom, который в свою очередь является потенциально наиболее продвинутой свободной системой компьютерной алгебры.
GNU TeXmacs — система подготовки и редактирования документов ориентированная на набор математики. Сейчас всё чаще и чаще её начинают использовать как интерфейс к CASам.
Возможность запускать FriCAS из TeXmacs реализована Александром Соловцом в рамках 
Осеннего марафона 2010, итоги которого сейчас несколько запоздало подводятся, но я думаю, что всё завершится хорошо. Александр уже отмечался свободными разработками, например, он 
улучшил подземелья во 
Free Droid RPG.
Чтобы иметь возможность запустить FriCAS в TeXmacs необходимо:
P.S. Это сообщение копия 
этого поста. Там же по ссылке есть 
снимок экрана.