机译:Aubin-Lions引理的另一种证明
Aubin-Lions Lemma; Compactness Lebesgue-Bochner spaces; Non-reflexive Banach spaces;
机译:Aubin-Lions引理的另一种证明
机译:几乎正则图的引理和γt(Pk□Pm)上的界的替代证明
机译:Schwartz-Zippel引理的另一种证明
机译:Proof Pearl:ACL2中Higman引理的形式证明
机译:Three变量在三个变量中的另一种通用证明。
机译:肝硬化评估作为肝静脉压力梯度的替代方法以预测急性变质渗流后的替代:概念证明研究
机译:Chen的替代Kneser着色引理的简短证明