位置：成果数据库 > 期刊 > 期刊详情页
一种混合高性能计算机代数环境模
  • 期刊名称：《计算机应用》2007年11期。
  • 时间：0
  • 相关项目：组合几何全局最优化问题的机械化解法
作者： 张骏;陈良育;曾振柄
同期刊论文项目
组合几何全局最优化问题的机械化解法
期刊论文 14 会议论文 15 著作 1
同项目期刊论文
Solving Spatial Constraints wi
三角函数表达式的计算机自动化简
Solution to the Generalized Ch
差分代换与不等式机器证明
基于AJAX和自动推理技术构建交互
线性系统同时镇定中广义香槟问题
寻找平面代数剖分样本点的改进算
Constructing a Tetrahedron wit
Program Verification by Using
Quantifier Elimination for Qua
Automated and readable simplif
基于小波的压缩图像索引技术
Constructive characterizations of （γp, γ）- and （γp, γpr）-trees