matlab, maple, mathematica, scilab都可以做这些事，matlab使用比较广泛，数学专业的人可能用maple和mathematica多些，这两个软件可以做公式推导
matlab 或者matmagic
