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

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

帮助

限定条件	文献类型：会议论文    专题：自动推理与认知研究中心    第一作者的第一单位    第一作者单位    通讯作者单位

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序作者升序作者降序题名升序题名降序WOS被引频次升序WOS被引频次降序发表日期升序发表日期降序提交时间升序提交时间降序
	A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities 会议论文 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, Lille, France, September 17, 2018 - September 21, 2018 作者:  Chen, Changbo;  Wu, Wenyuan Adobe PDF(1113Kb)  |  收藏  |  浏览/下载：102/0  |  提交时间：2019/06/25
	Faster binary arithmetic operations on encrypted integers 会议论文 2017 7th International Workshop on Computer Science and Engineering, WCSE 2017, No. 38 A, Xueqing Road, Haidian District, Beijing, China, June 25, 2017 - June 27, 2017 作者:  Chen, Jingwei;  Feng, Yong;  Liu, Yang;  Wu, Wenyuan 收藏  |  浏览/下载：103/0  |  提交时间：2018/03/16
	A numerical method for analyzing the stability of Bi-parametric biological systems 会议论文 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24, 2016 - September 27, 2016 作者:  Chen, Changbo;  Wu, Wenyuan Adobe PDF(387Kb)  |  收藏  |  浏览/下载：83/0  |  提交时间：2018/03/16
	Homomorphically encrypted arithmetic operations over the integer ring 会议论文 12th International Conference on Information Security Practice and Experience, ISPEC 2016, Zhangjiajie, China, November 16, 2016 - November 18, 2016 作者:  Xu, Chen;  Chen, Jingwei;  Wu, Wenyuan;  Feng, Yong Adobe PDF(349Kb)  |  收藏  |  浏览/下载：125/0  |  提交时间：2018/03/16
	Two variants of HJLS-PSLQ with applications 会议论文 2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014 作者:  Feng, Yong;  Chen, Jingwei;  Wu, Wenyuan Adobe PDF(673Kb)  |  收藏  |  浏览/下载：78/0  |  提交时间：2018/03/16
	The basic polynomial algebra subprograms 会议论文 4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014 作者:  Chen, Changbo;  Covanov, Svyatoslav;  Mansouri, Farnam;  Maza, Marc Moreno;  Xie, Ning;  Xie, Yuzhen Adobe PDF(434Kb)  |  收藏  |  浏览/下载：58/0  |  提交时间：2018/03/16
	Cylindrical algebraic decomposition 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(1579Kb)  |  收藏  |  浏览/下载：54/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