中文版 | English

在结果中检索

CSpace
（本次检索基于用户作品认领结果）

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

限定条件        
已选(0)清除 条数/页：   排序方式：
Early ending in homotopy path-tracking for real roots 会议论文
13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018
作者:  Wang, Yu;  Wu, Wenyuan;  Xia, Bican
Adobe PDF(383Kb)  |  收藏  |  浏览/下载：109/0  |  提交时间：2019/06/25
Full Rank Representation of Real Algebraic Sets and Applications 会议论文
19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, Beijing, China, September 18, 2017 - September 22, 2017
作者:  Chen, Changbo;  Wu, Wenyuan;  Feng, Yong
Adobe PDF(1096Kb)  |  收藏  |  浏览/下载：120/0  |  提交时间：2018/03/16
Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems 会议论文
19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, Beijing, China, September 18, 2017 - September 22, 2017
作者:  Wu, Wenyuan;  Chen, Changbo;  Reid, Greg
Adobe PDF(617Kb)  |  收藏  |  浏览/下载：92/0  |  提交时间：2018/03/16
A Special Homotopy Continuation Method for a Class of Polynomial Systems 会议论文
19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, Beijing, China, September 18, 2017 - September 22, 2017
作者:  Wang, Yu;  Wu, Wenyuan;  Xia, Bican
Adobe PDF(821Kb)  |  收藏  |  浏览/下载：84/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)  |  收藏  |  浏览/下载：123/0  |  提交时间：2018/03/16
Termination analysis of multipath loop programs with one variable 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2015, 卷号: 26, 期号: 2, 页码: 297-304
作者:  Li, Yi;  Li, Chuan-Can;  Wu, Wen-Yuan
Adobe PDF(731Kb)  |  收藏  |  浏览/下载：47/0  |  提交时间：2018/03/16
有界闭域上的线性赋值循环终止性分析 期刊论文
软件学报, 2014, 卷号: 25, 期号: 6, 页码: 1133-1142
作者:  李轶;  吴文渊;  冯勇
Adobe PDF(738Kb)  |  收藏  |  浏览/下载：66/0  |  提交时间：2018/03/16
一类带初始输入的线性循环终止性分析 期刊论文
四川大学学报. 工程科学版, 2014, 卷号: 46, 期号: 5, 页码: 81-87
作者:  李轶;  李传璨;  吴文渊
Adobe PDF(293Kb)  |  收藏  |  浏览/下载：59/0  |  提交时间：2018/03/16
Numerical and geometric properties of a method for finding points on real solution components 会议论文
2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014
作者:  Wu, Wenyuan;  Reid, Greg;  Feng, Yong
Adobe PDF(386Kb)  |  收藏  |  浏览/下载：59/0  |  提交时间：2018/03/16
Exact bivariate polynomial factorization over by approximation of roots 期刊论文
Journal of Systems Science and Complexity, 2014, 卷号: 28, 期号: 1, 页码: 243-260
作者:  Feng, Yong;  Wu, Wenyuan;  Zhang, Jingzhong;  Chen, Jingwei
Adobe PDF(275Kb)  |  收藏  |  浏览/下载：86/0  |  提交时间：2018/03/16