鲁迅研究领域的越境

时间：2025-06-04 08:00:42  编辑：翡翠原石网  访问：483

36人入选!“共和国勋章”和荣誉称号建议人选公示，他开创了数学机械化研究领域,用算法的观点对古算作了分析,同时提出用计算机自动证明几何定理的有效方法,在国际上被称为