组合几何全局最优化问题的机械化解法

10471044
2004
A0605.符号计算与机器证明
杨路
面上项目
教授
华东师范大学
21万元
数学机械化;全局最优化;数值计算;符号计算;组合几何
2005-01-01到2007-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 一种混合高性能计算机代数环境模 期刊论文 张骏;陈良育;曾振柄
2 Parallel Difference Substituti 会议论文 陈良育，曾振柄，杨路
3 Solving Spatial Constraints wi 期刊论文 杨路
4 寻找平面代数剖分样本点的改进算 期刊论文 单美静, 曾振柄, 毕忠勤
5 《不等式机器证明与自动发现》 专著 杨路，夏壁灿
6 Solving Harder Problems with L 会议论文 杨路
7 Machine Cognition and Learning 会议论文 陈光喜，曾振柄，毕忠勤
8 Symbolic Solution of a Piano M 会议论文 杨路，曾振柄
9 A spatial geometric constraint 会议论文 杨路，曾振柄
10 Build Interactive Mathematics 会议论文 曾振柄，符红光
11 A method for verifying the pos 会议论文 陈良育，曾振柄
12 A New Mechanical Algorithm for 会议论文 王玮明，曾振柄，杨路
13 椭圆弧的最佳Bezier逼近 会议论文 曾振柄，杨路
14 Program Verification by Using 期刊论文 杨路, 詹乃军, 夏壁灿, 周巢尘
15 An Open Problem on Metric Inva 会议论文 杨路，曾振柄
16 Quantifier Elimination for Qua 期刊论文 杨路, 夏壁灿
17 Semi-mechanization Method for 会议论文 曾振柄, 单美静
18 Automated and readable simplif 期刊论文 符红光，曾振柄，钟秀琴
19 三角函数表达式的计算机自动化简 期刊论文 符红光,曾振柄, 钟秀琴
20 基于AJAX和自动推理技术构建交互 期刊论文 曾振柄, 陈良育, 张骏, 符红光
21 差分代换与不等式机器证明 期刊论文 杨路
22 通过数值计算得到一个几何最优化 会议论文 曾振柄，杨路，郭远华，
23 线性系统同时镇定中广义香槟问题 期刊论文 关 强, 王 龙, 夏壁灿, 杨 路,
24 A Problem of Wetzel’s: Triang 会议论文 杨路，曾振柄
25 Some Special Geometric Constra 会议论文 杨路，曾振柄
26 Solution to the Generalized Ch 期刊论文 关 强, 王 龙, 夏壁灿, 杨 路,
27 基于Bezier曲线逼近的二次曲线快 会议论文 曾振柄，李传中
28 Constructing a Tetrahedron wit 期刊论文 杨路，曾振柄
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享