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

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

帮助

限定条件	专题：自动推理与认知研究中心    第一作者的第一单位    第一作者单位    通讯作者单位

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序作者升序作者降序题名升序题名降序WOS被引频次升序WOS被引频次降序发表日期升序发表日期降序提交时间升序提交时间降序
	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
	Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically 会议论文 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018 作者:  Chen, Changbo;  Wu, Wenyuan Adobe PDF(535Kb)  |  收藏  |  浏览/下载：111/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)  |  收藏  |  浏览/下载：173/0  |  提交时间：2018/03/05 Numerical polynomial factorization  Ill-posed problem  Factorization manifold  Sensitivity
	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 numerical method for analyzing the stability of Bi-parametric biological systems 会议论文 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24, 2016 - September 27, 2016 作者:  Chen, Changbo;  Wu, Wenyuan Adobe PDF(387Kb)  |  收藏  |  浏览/下载：83/0  |  提交时间：2018/03/16
	A numerical method for computing border curves of bi-parametric real polynomial systems and applications 会议论文 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, Bucharest, Romania, September 19, 2016 - September 23, 2016 作者:  Chen, Changbo;  Wu, Wenyuan Adobe PDF(530Kb)  |  收藏  |  浏览/下载：94/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)  |  收藏  |  浏览/下载：96/0  |  提交时间：2018/03/16
	Numerical Method for Computing the Stable Equilibrium of High Dimensional Predator Prey System 期刊论文 JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2014, 卷号: 11, 期号: 9, 页码: 1942-1946 作者:  Ji, Zhenyi;  Liu, Zijian;  Wu, Wenyuan;  Feng, Yong;  Li, Yi 收藏  |  浏览/下载：45/0  |  提交时间：2018/03/15 Homotopy Method  Real Root Isolation  Stability Analysis  Lyapunov's First Method
	Solving parametric polynomial systems by RealComprehensiveTriangularize 会议论文 4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014 作者:  Chen, Changbo;  Maza, Marc Moreno Adobe PDF(972Kb)  |  收藏  |  浏览/下载：50/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