该文主要讨论对称问题和非对称问题的UZAWA算法,主要是不精确预条件的UZAWA算法.对由古典的不可压定常Stokes问题,经过混合有限元......

<正> 本文采用的术语与记号按照文献[1],如有不同于它的记号出现,则另作说明。设Cm,Cn中分别定义了加权内积（准内积）:（x,y）m=xMy,（x,y）n=......

多项式不等式的证明历来是机器自动证明领域里比较难的课题.本文对多项式不等式可读证明的若干技术进行了研究,对其中的差分代换方......