如果经常用北太天元做科学计算，这次可以在熟悉的界面里直接做符号推导：化简、因式分解、解方程，求导、积分、极限、泰勒展开，再到Gröbner基、Betti表、ODE/PDE。该精确的地方，它给的是符号结果，不是数值近似；一千四百多个函数，覆盖日常符号计算的大部分场景。ProdCAS本身也提供命令行、Python、C接口，Windows、Linux、macOS都能运行。