中国科学院重庆绿色智能技术研究院机构知识库(CSpace): 检索

研究单元&专题

作者

文献类型

发表日期

语种

出处

资助项目

收录类别

资助机构

CSpace

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除条数/页：排序方式：
	Solving parametric polynomial systems by RealComprehensiveTriangularize 会议论文 4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014 作者: Chen, Changbo; Maza, Marc Moreno Adobe PDF(972Kb) \| 收藏 \| 浏览/下载：49/0 \| 提交时间：2018/03/16
	Real quantifier elimination in the RegularChains library 会议论文 4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014 作者: Chen, Changbo; Moreno Maza, Marc Adobe PDF(1816Kb) \| 收藏 \| 浏览/下载：38/0 \| 提交时间：2018/03/16

中国科学院重庆绿色智能技术研究院机构知识库