由中科院数学机械化研究所开发的 数学机械化平台（Dos平台运行）能进行各类复杂的数学运算。包括数值运算和多项式运算等。 挺不错的-From the Chinese Academy of Sciences Institute of the development of mathematical mechanization of mathematical mechanization platform (Dos platform to run) to carry out all kinds of