机译:Lyusternik-Graves定理的证明
49K40; 90C31; 49J53; variational analysis; metric regularity; Aubin property; linear openness;
机译:Lyusternik-Graves定理的证明
机译:关于鲁宾逊-乌尔塞斯库和吕斯特尼克-格雷夫斯定理的注记
机译:Lyusternik-graves定理和不动点II
机译:方程和归纳定理的证明搜索和证明检查
机译:(新)直接乘积定理的新证明。
机译:定理证明实例和规则的做法流行病学
机译:近点法的Lyusternik-Graves定理