中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Elimination Theory in Differential and Difference Algebra 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 287-316
作者:  Li Wei;  Yuan Chun-Ming
收藏  |  浏览/下载：141/0  |  提交时间：2019/04/02
Differential Chow forms  differential resultants  sparse differential resultants  Wu-Ritt characteristic sets  
eliminationtheoryindifferentialanddifferencealgebra 期刊论文
系统科学与复杂性学报英文版, 2019, 卷号: 032, 期号: 001, 页码: 287
作者:  LI Wei;  YUAN ChunMing
收藏  |  浏览/下载：143/0  |  提交时间：2020/01/10
rittwucharacteristicsetmethodforlaurentpartialdifferentialpolynomialsystems 期刊论文
journalofsystemsscienceandcomplexity, 2019, 卷号: 32, 期号: 1, 页码: 62
作者:  Hu Youren;  Gao Xiaoshan
收藏  |  浏览/下载：142/0  |  提交时间：2020/01/10
Numerical solution of the steady-state probability and reliability of a repairable system with three unites 期刊论文
APPLIED MATHEMATICS AND COMPUTATION, 2015, 卷号: 263, 页码: 251-267
作者:  Zheng, Fu;  Xu, Shuangshuang;  Li, Xin
收藏  |  浏览/下载：113/0  |  提交时间：2018/07/30
Repairable system  Numerical solution  Availability  Mean up-time  
A measuring method of effects of herbs based on classification used for intelligent calculation of efficacies of prescriptions 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 10, 页码: 2047-2061
作者:  Gao QuanQuan;  Ren TingGe
收藏  |  浏览/下载：96/0  |  提交时间：2018/07/30
intelligent calculation  mathematical modeling  measuring method  efficacies of prescriptions  
A criterion for testing whether a difference ideal is prime 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2009, 卷号: 22, 期号: 4, 页码: 627-635
作者:  Yuan, Chunming;  Gao, Xiao-Shan
收藏  |  浏览/下载：101/0  |  提交时间：2018/07/30
Characteristic set  difference prime ideal  irreducibility  strong irreducibility  
Characteristic set method for differential-difference polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 9, 页码: 1137-1163
作者:  Gao, X. S.;  Van der Hoeven, J.;  Yuan, C. M.;  Zhang, G. L.
收藏  |  浏览/下载：101/0  |  提交时间：2018/07/30
Characteristic set  Differential and difference polynomial  Regular ascending chain  Irreducible ascending chain  Zero decomposition algorithm  Perfect ideal membership problem  
RITT-WU'S CHARACTERISTIC SET METHOD FOR ORDINARY DIFFERENCE POLYNOMIAL SYSTEMS WITH ARBITRARY ORDERING 期刊论文
ACTA MATHEMATICA SCIENTIA, 2009, 卷号: 29, 期号: 4, 页码: 1063-1080
作者:  Gao Xiaoshan;  Yuan Chunming;  Zhang Guilin
收藏  |  浏览/下载：82/0  |  提交时间：2018/07/30
difference polynomial  ascending chain  characteristic set  Ritt-Wu's zero  decomposition theorem  
A characteristic set method for ordinary difference polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 3, 页码: 242-260
作者:  Gao, Xiao-Shan;  Luo, Yong;  Yuan, Chunming
收藏  |  浏览/下载：96/0  |  提交时间：2018/07/30
Difference polynomial  Ascending chain  Characteristic set  Coherence  Irreducibility  Zero decomposition theorem  Automated theorem proving  
acriterionfortestingwhetheradifferenceidealisprime 期刊论文
journalofsystemsscienceandcomplexity, 2009, 卷号: 000, 期号: 004, 页码: 627
作者:  Chunming YUAN;  XiaoShan GAO
收藏  |  浏览/下载：70/0  |  提交时间：2020/01/10