中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Stabilization of the transmission wave/plate equation with variable coefficients 期刊论文
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2017, 卷号: 455, 期号: 1-2, 页码: 947-962
作者:  Gong, Bei;  Yang, Fengyan;  Zhao, Xu
收藏  |  浏览/下载：142/0  |  提交时间：2018/07/30
Stabilization  Wave/plate equation  Nonlinear feedback  Variable coefficients  Riemannian geometry  
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao
收藏  |  浏览/下载：102/0  |  提交时间：2018/07/30
Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery  
CURVATURE ASPECTS OF GRAPHS 期刊论文
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2017, 卷号: 145, 期号: 5, 页码: 2033-2042
作者:  Bauer, F.;  Chung, F.;  Lin, Y.;  Liu, Y.
浏览  |  Adobe PDF(170Kb)  |  收藏  |  浏览/下载：463/133  |  提交时间：2018/07/30