论文部分内容阅读
本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用。我们还提出了一些待解决的问题。
数学机械化进展综述（迎接ICM2002特约文章）
【摘 要】
：
本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用。我们还提出了一些待解决的问题
【机 构】
：
中国科学院数学与系统科学研究院
【出 处】
：
数学进展
【发表日期】
：
2001年5期
其他文献
用一定规格的锦纶丝、莱卡长丝在空心锭纺纱机上纺制了一系列不同包覆度的锦纶莱卡包覆纱,并对其成纱性能进行了拉伸试验分析,得到了包覆纱断裂强力、断裂伸长率与包覆度之间
分析了倍捻加工过程中股线产生扭结疵点的原因,提出了设备保养维修方面的具体改进措施和规范的操作方法.通过改造导纱轴、规范并线挡车工和倍捻挡车工的操作方法、控制好前工