Axiom is a computer algebra system written in the 1970s-80s. It still runs (and is open source).