{{i.achievement_title}}
数据更新时间:2023-05-31
基于旋量理论的数控机床几何误差分离与补偿方法研究
WMTL-代数中的蕴涵滤子及其应用
IV型限制酶ScoMcrA中SRA结构域介导的二聚体化对硫结合结构域功能的影响机制
平面并联机构正运动学分析的几何建模和免消元计算
带复杂水力系统的水轮机多机微分代数模型
实代数几何方法及其在多项式优化中的应用
实代数几何中构造性理论与算法
与实代数几何相关的代数结构
实代数和实几何推理的图形探索平台
不等式型定理的机器证明和实代数几何的构造性理论