（ ）在数学教育中的作用越来越大，形式化计算的需要大大减少，对数学规律的探索产生强大的支持。