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

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

帮助

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

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择WOS被引频次升序WOS被引频次降序题名升序题名降序期刊影响因子升序期刊影响因子降序作者升序作者降序发表日期升序发表日期降序提交时间升序提交时间降序
	Computing real witness points of positive dimensional polynomial systems 期刊论文 THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231 作者:  Wu, Wenyuan;  Reid, Greg;  Feng, Yong 收藏  |  浏览/下载：169/0  |  提交时间：2018/03/05 Numerical algebraic geometry  Real algebraic geometry  Homotopy continuation  Singular critical points  Real witness points
	基于HElib的安全电子投票方案 期刊论文 计算机应用研究, 2017, 卷号: 34, 期号: 7, 页码: 2167-2171 作者:  王永恒;  徐晨;  陈经纬;  吴文渊 Adobe PDF(307Kb)  |  收藏  |  浏览/下载：118/0  |  提交时间：2018/03/16
	Numerical method for real root isolation of semi-algebraic system and its applications 期刊论文 Journal of Computational and Theoretical Nanoscience, 2016, 卷号: 13, 期号: 1, 页码: 803-811 作者:  Ji, Zhenyi;  Wu, Wenyuan;  Feng, Yong;  Li, Yi;  Qin, Xiao Lin Adobe PDF(431Kb)  |  收藏  |  浏览/下载：100/0  |  提交时间：2018/03/16
	Sparse bivariate polynomial factorization 期刊论文 SCIENCE CHINA-MATHEMATICS, 2014, 卷号: 57, 期号: 10, 页码: 2123-2142 作者:  Wu WenYuan;  Chen JingWei;  Feng Yong Adobe PDF(308Kb)  |  收藏  |  浏览/下载：67/0  |  提交时间：2018/03/15 polynomial factorization  sparse polynomial  generalized Hensel lifting
	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)  |  收藏  |  浏览/下载：96/0  |  提交时间：2018/03/16
	Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System 期刊论文 JOURNAL OF APPLIED MATHEMATICS, 2013, 页码: 5 作者:  Ji, Zhenyi;  Wu, Wenyuan;  Feng, Yong;  Zhang, Guofeng Adobe PDF(1892Kb)  |  收藏  |  浏览/下载：61/0  |  提交时间：2018/03/14