中文版 | English

在结果中检索

CSpace

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

限定条件                
已选(0)清除 条数/页：   排序方式：
THE PSLQ ALGORITHM FOR EMPIRICAL DATA 期刊论文
MATHEMATICS OF COMPUTATION, 2019, 卷号: 88, 期号: 317, 页码: 1479-1501
作者:  Feng, Yong;  Chen, Jingwei;  Wu, Wenyuan
Adobe PDF(321Kb)  |  收藏  |  浏览/下载：248/0  |  提交时间：2019/03/01
Integer relation  PSLQ  empirical data  
Synthesizing Nested Ranking Functions for Loop Programs via SVM 会议论文
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5, 2019 - November 9, 2019
作者:  Li, Yi;  Sun, Xuechao;  Li, Yong;  Turrini, Andrea;  Zhang, Lijun
收藏  |  浏览/下载：278/0  |  提交时间：2020/02/18
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)  |  收藏  |  浏览/下载：100/0  |  提交时间：2019/06/25
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
The Numerical Factorization of Polynomials 期刊论文
FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2017, 卷号: 17, 期号: 1, 页码: 259-286
作者:  Wu, Wenyuan;  Zeng, Zhonggang
Adobe PDF(1022Kb)  |  收藏  |  浏览/下载：172/0  |  提交时间：2018/03/05
Numerical polynomial factorization  Ill-posed problem  Factorization manifold  Sensitivity  
基于HElib的安全电子投票方案 期刊论文
计算机应用研究, 2017, 卷号: 34, 期号: 7, 页码: 2167-2171
作者:  王永恒;  徐晨;  陈经纬;  吴文渊
Adobe PDF(307Kb)  |  收藏  |  浏览/下载：112/0  |  提交时间：2018/03/16
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
有界闭连通域上的非线性循环终止性分析 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:  李轶;  冯勇
Adobe PDF(378Kb)  |  收藏  |  浏览/下载：79/0  |  提交时间：2018/03/16