搜索结果: 1-1 共查到“系统学 中国科学院数学机械化重点实验室”相关记录1条 . 查询时间(0.686 秒)
中国科学院数学机械化重点实验室
中国科学院数学机械化重点实验室 理论 方法研究 应用研究 智能软件开发
2012/7/9
本实验室以基础研究为主，同时兼顾应用研究，采取基础研究带动应用研究的思路。研究方向可以分为： 理论与方法研究,应用研究与智能软件开发。具体讲 （1）理论与方法研究：构造性代数几何，构造性微分代数几何，构造性实代数几何，计算机代数，编码密码理论，离散几何，量子计算与方法，代数方程求解的混合算法，自动推理； （2）应用基础研究：信息安全，在理论物理、力学中的应用，在机器人中的应用，几何自动作图与智能C...