笛卡尔之梦——从笛卡尔几何到数学机械化

中科院数学与系统科学研究院研究员、原中国数学会秘书长李文林先生来我校作学术报告