（半）代数系统的几何结构分析的高效算法及其应用
11471327
2014
A0410.算法复杂性与近似算法
程进三
面上项目
副研究员
中国科学院数学与系统科学研究院
65万元
计算复杂性;半代数系统求解;几何结构;数学机械化;符号计算
2015-01-01到2018-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | On the Topology and Visualization of Plane Algebraic Curves | 会议论文 | 程进三;金凯 |
| 2 | Plotting Planar Implicit Curves and Its Applications | 会议论文 | 程进三;文钧屹;张文剑 |
| 3 | Certifying Simple Zeros of Over-Determined Polynomial Systems. | 会议论文 | 程进三;窦孝杰 |
| 4 | A Heuristic Method for Certifying Isolated Zeros of Polynomial Systems | 期刊论文 | 程进三;窦孝杰 |
| 5 | A generic position based method for real root isolation of zero-dimensional polynomial systems. | 期刊论文 | 程进三;金凯 |
查看更多信息请先登录或注册
