机译:更简单的凭证与分散的不变性
Univ Paris Saclay Lab Rech Informat Inria Saclay Ile de France CNRS F-91405 Orsay France;
Deductive verification; Invariants; Induction; Automated theorem provers;
机译:一个简单的全彩色冠状不变性的强的证据
机译:有限维线性时不变系统稳定性准则的简单直接证明
机译:扰动可逆问题绝热不变量存在的简单证明
机译:时不变卷积码达到容量的简单证明
机译:单位圆盘中的伪-Anosov微分和通过双曲模数变换不变地保持不变的Teichmuller线的唯一性的新证明。
机译:不变点上Lefschetz公式的新证明
机译:一个简单的全彩色冠状不变性的强大证据