Have you tried Maple? It is also proprietary but it comes from (originally) Waterloo University, and is used in Academia too.