论文部分内容阅读
<正> 数学是中国古代最发达的传统科学之一。以机械化和代数化为特征的中国古代数学处于世界领先地位达千余年之久,而且对当今数学前沿的研究日益发挥着重大的作用。国家基础研究“攀登计划”重大项目“几何定理的机器证明及其应用”首席科学家吴文俊院士认为,“中国的古代数学,基本上是一种机械化的数学”,“是机械化体系的代