CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
SONC optimization and exact nonnegativity certificates via second-order cone programming 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 346-370
作者:  Magron, Victor;  Wang, Jie
收藏  |  浏览/下载：16/0  |  提交时间：2023/02/07
Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically 会议论文
Suzhou, China, September 16, 2018 - September 19, 2018
作者:  Chen, Changbo;  Wu, Wenyuan
收藏  |  浏览/下载：18/0  |  提交时间：2019/06/25
Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation 期刊论文
2015, 2015
Hui Deng; Jinzhao Wu
收藏  |  浏览/下载：3/0  |  提交时间：2017/06/19
Safety verification of nonlinear systems based on rational invariants 会议论文
2014 Symposium on Symbolic-Numeric Computation, SNC 2014, 2014-07-28
作者:  Lin, Wang[1];  Wu, Min[2];  Yang, Zhengfeng[3];  Zeng, Zhenbing[4]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2014, 卷号: 8, 页码: 192-202
作者:  Lin, Wang[1];  Wu, Min[2];  Yang, Zhengfeng[3];  Zeng, Zhenbing[4]
收藏  |  浏览/下载：2/0  |  提交时间：2019/04/30
Numerical and geometric properties of a method for finding points on real solution components 会议论文
Shanghai, China, July 28, 2014 - July 31, 2014
作者:  Wu, Wenyuan;  Reid, Greg;  Feng, Yong
收藏  |  浏览/下载：13/0  |  提交时间：2018/03/16
A recursive decision method for termination of linear programs 会议论文
Shanghai, China, July 28, 2014 - July 31, 2014
作者:  Li, Yi
收藏  |  浏览/下载：9/0  |  提交时间：2018/03/16
Two variants of HJLS-PSLQ with applications 会议论文
Shanghai, China, July 28, 2014 - July 31, 2014
作者:  Feng, Yong;  Chen, Jingwei;  Wu, Wenyuan
收藏  |  浏览/下载：13/0  |  提交时间：2018/03/16
A SYMMETRIC HOMOTOPY AND HYBRID POLYNOMIAL SYSTEM SOLVING METHOD FOR MIXED TRIGONOMETRIC POLYNOMIAL SYSTEMS 期刊论文
MATHEMATICS OF COMPUTATION, 2014, 卷号: 83, 页码: 1847-1868
作者:  Dong, Bo;  Yu, Bo;  Yu, Yan
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/09
Finding a sparse solution of a class of linear differential equations by solving a nonlinear system 会议论文
2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, 2014-07-28
作者:  Jiao L.;  Yu B.
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/11

©版权所有 ©2017 CSpace - Powered by CSpace