Mathematical Logic; Group Theory; Kernels; ERDA/990230;
机译:利用公共极限范围属性证明统一的公制公共不动点定理
机译:使用隐式函数证明对称空间中扩展类型映射的统一公共不动点定理
机译:在锥Banach空间中使用一般原理证明不动点定理
机译:通过自动定理普罗维者证明和歧视断言重写规则
机译:通过翻译成描述逻辑来自动证明定理。
机译:映射的一些固定点定理令人满意的应用程序令人理解不等式与应用程序的模块化空间
机译:通过使用自动定理来搜索固定点组合器:初步报告