位置：成果数据库 > 会议 > 会议详情页
Semi-mechanization Method for
  • 所属机构名称：华东师范大学
  • 成果类型：会议
  • 相关项目：组合几何全局最优化问题的机械化解法
作者： 曾振柄, 单美静
同会议论文项目
组合几何全局最优化问题的机械化解法
期刊论文 14 会议论文 15 著作 1
同项目会议论文
Symbolic Solution of a Piano M
通过数值计算得到一个几何最优化
基于Bezier曲线逼近的二次曲线快
Solving Harder Problems with L
Parallel Difference Substituti
A New Mechanical Algorithm for
A method for verifying the pos
An Open Problem on Metric Inva
Machine Cognition and Learning
Some Special Geometric Constra
A Problem of Wetzel’s: Triang
椭圆弧的最佳Bezier逼近
Build Interactive Mathematics
A spatial geometric constraint