中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共6条，第1-6条 帮助

限定条件                    
已选(0)清除 条数/页：   排序方式：
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
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
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)  |  收藏  |  浏览/下载：59/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