中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
集成电路验证技术 期刊论文
中国基础科学, 2007, 卷号: 000, 期号: 003, 页码: 11
作者:  刘卓军;  吴尽昭
收藏  |  浏览/下载：23/0  |  提交时间：2020/01/10
A PRECONDITIONER FOR THREE－DIMENSIONAL DOMAIN DECOMPOSITION METHODS WITH LAGRANGE MULTIPLIERS 期刊论文
系统科学与复杂性：英文版, 2003, 卷号: 16.0, 期号: 004, 页码: 513-526
作者:  Hu Qiya;  Liang Guoping;  Liu Jinzhao
收藏  |  浏览/下载：103/0  |  提交时间：2021/01/14
椭圆型问题  三维域分解方法  拉格朗日乘子  条件数  
CONSTRUCTION OF A PRECONDITIONER FOR DOMAIN DECOMPOSITION METHODS WITH POLYNOMIAL LAGRANGIAN MULTIPLIERS 期刊论文
Journal of Computational Mathematics, 2001, 卷号: 19, 期号: 2, 页码: 213
作者:  Liang Guoping;  Liu Jinzhao;  Hu Qiya
收藏  |  浏览/下载：95/0  |  提交时间：2018/07/30
Linear Strategy for Boolean Ring BasedTheorem Proving 期刊论文
Journal of Computer Science and Technology, 2000, 卷号: 15, 期号: 3, 页码: 271
作者:  Wu JZ(吴尽昭);  Liu ZJ(刘卓军)
收藏  |  浏览/下载：25/0  |  提交时间：2020/01/10
余式方法中的线性策略以及语义策略和锁策略 期刊论文
计算机学报, 1997, 卷号: 020, 期号: 002, 页码: 174
作者:  刘卓军;  吴尽昭
收藏  |  浏览/下载：20/0  |  提交时间：2020/01/10
使用广义奇超位ii的一阶定理证明 期刊论文
中国科学e辑技术科学, 1996, 卷号: 26, 期号: 5, 页码: 442
作者:  吴尽昭;  刘卓军
收藏  |  浏览/下载：16/0  |  提交时间：2020/01/10
一阶谓词演算定理机器胆的余式方法 期刊论文
计算机学报, 1996, 卷号: 19, 期号: 10, 页码: 728
作者:  刘卓军;  吴尽昭
收藏  |  浏览/下载：14/0  |  提交时间：2020/01/10