CSpace
(本次检索基于用户作品认领结果)

浏览/检索结果: 共7条,第1-7条 帮助

限定条件            
已选(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)  |  收藏  |  浏览/下载:110/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)  |  收藏  |  浏览/下载:121/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)  |  收藏  |  浏览/下载:93/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)  |  收藏  |  浏览/下载:85/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)  |  收藏  |  浏览/下载:124/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)  |  收藏  |  浏览/下载:49/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)  |  收藏  |  浏览/下载:60/0  |  提交时间:2018/03/16