中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 248-265
作者:  Wang, Dingkang;  Wang, Hesong;  Wei, Jingjing;  Xiao, Fanghui
收藏  |  浏览/下载：113/0  |  提交时间：2023/02/07
Extended greatest common right divisor  Parametric univariate polynomial matrix  Comprehensive Gr?bner system  Smith normal form  
New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 266-284
作者:  Lu, Dong;  Wang, Dingkang;  Xiao, Fanghui
收藏  |  浏览/下载：108/0  |  提交时间：2023/02/07
Multivariate polynomial matrices  Matrix factorization  Matrix equivalence  Column reduced minors  Gr?bner basis  
SONC optimization and exact nonnegativity certificates via second-order cone programming 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 346-370
作者:  Magron, Victor;  Wang, Jie
收藏  |  浏览/下载：129/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  
A graph-based method for interactive mapping revision in DL-Lite 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2023, 卷号: 211, 页码: 24
作者:  Li, Weizhuo;  Ji, Qiu;  Zhang, Songmao;  Fu, Xuefeng;  Qi, Guilin
收藏  |  浏览/下载：109/0  |  提交时间：2023/02/07
Semantic Web  Ontology mappings  Interactive revision  Graph representation  
Lifting for the integer knapsack cover polyhedron 期刊论文
JOURNAL OF GLOBAL OPTIMIZATION, 2022, 页码: 45
作者:  Chen, Wei-Kun;  Chen, Liang;  Dai, Yu-Hong
收藏  |  浏览/下载：106/0  |  提交时间：2023/02/07
Integer programming  Cutting plane  Sequential lifting  MIR inequality  Separation algorithm  
Approximation algorithms for solving the line-capacitated minimum Steiner tree problem 期刊论文
JOURNAL OF GLOBAL OPTIMIZATION, 2022, 页码: 28
作者:  Li, Jianping;  Wang, Wencheng;  Lichen, Junran;  Liu, Suding;  Pan, Pengxiang
收藏  |  浏览/下载：89/0  |  提交时间：2023/02/07
Combinatorial optimization  Locations of lines  Line-capacitated Steiner trees  Approximation algorithms  Exact algorithms  
Algorithms yield upper bounds in differential algebra 期刊论文
CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 2021, 页码: 23
作者:  Li, Wei;  Ovchinnikov, Alexey;  Pogudin, Gleb;  Scanlon, Thomas
收藏  |  浏览/下载：118/0  |  提交时间：2022/04/02
delay PDEs  elimination of unknowns  uniform bounds  oracle machine  
On factor left prime factorization problems for multivariate polynomial matrices 期刊论文
MULTIDIMENSIONAL SYSTEMS AND SIGNAL PROCESSING, 2021, 页码: 18
作者:  Lu, Dong;  Wang, Dingkang;  Xiao, Fanghui
收藏  |  浏览/下载：149/0  |  提交时间：2021/04/26
Multivariate polynomial matrices  Matrix factorizations  Factor left prime (FLP)  Column reduced minors  Free modules  
Solving Multivariate Polynomial Matrix Diophantine Equations with Grobner Basis Method 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 页码: 14
作者:  Xiao Fanghui;  Lu Dong;  Wang Dingkang
收藏  |  浏览/下载：134/0  |  提交时间：2021/04/26
Grö  bner basis  matrix Diophantine equation  module  multivariate polynomial  
On some extended mixed integer optimization models of the Eisenberg-Noe model in systemic risk management 期刊论文
INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, 2021, 页码: 24
作者:  Dong, Zhi-Long;  Peng, Jiming;  Xu, Fengmin;  Dai, Yu-Hong
收藏  |  浏览/下载：166/0  |  提交时间：2021/04/26
financial network  systemic risk  mixed integer programming  coefficient strengthening  sequential linear optimization