数学软件与数学实验，用于解决符号输入的数学问题，比如微积分，常微分方程，概率论与数理统计的问题都可以解决。