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

研究单元&专题

作者

文献类型

会议论文 [2]

发表日期

2015 [2]

语种

出处

资助项目

收录类别

资助机构

CSpace

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

帮助

已选(0)清除条数/页：排序方式：
	Simplification of cylindrical algebraic formulas 会议论文 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, Aachen, Germany, September 14, 2015 - September 18, 2015 作者: Chen, Changbo; Moreno Maza, Marc Adobe PDF(273Kb) \| 收藏 \| 浏览/下载：42/0 \| 提交时间：2018/03/16
	Abstraction of elementary hybrid systems by variable transformation 会议论文 20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, June 24, 2015 - June 26, 2015 作者: Liu, Jiang; Zhan, Naijun; Zhao, Hengjun; Zou, Liang Adobe PDF(512Kb) \| 收藏 \| 浏览/下载：53/0 \| 提交时间：2018/03/16

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