×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
数学与系统科学研究院 [7]
大连理工大学 [4]
重庆绿色智能技术研究... [4]
华南理工大学 [3]
上海大学 [2]
广西民族大学 [1]
更多...
内容类型
期刊论文 [13]
会议论文 [10]
发表日期
2023 [1]
2018 [1]
2015 [1]
2014 [8]
2009 [1]
2008 [4]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共23条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
Sum of nonnegative circuit polynomials
Second -order cone programming
Polynomial optimization
Sum of binomial squares
Rounding -projection algorithm
Exact nonnegativity certificate
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
carbonate rock
upscaling
digital rock
pore network model
relative permeability
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
symbolic computation
sum-of-squares relaxation
semidefinite programming
total correctness
precondition generation
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
Mixed trigonometric polynomial system
polynomial system
symmetry
homotopy method
hybrid algorithm
symbolic-numeric computation
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