...
机译:内隐和逆函数定理:简单的证明
Department of Mathematics, Universidade de Sao Paulo, Sao Paulo, SP 05508-090, Brasil;
Implicit Function Theorems; Calculus of Vector Functions; Differential Calculus; Functions of Several Variables;
机译:操作员域上的非传感功能的逆和隐式功能定理
机译:自由非交换函数的隐式/逆函数定理
机译:H微分和半光滑函数的逆和隐函数定理
机译:关于多函数的隐式功能定理
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:拟分析及相关函数类的隐函数定理
机译:自由非交换函数的隐函数/反函数定理
机译:基于常微分方程的全局逆和隐函数定理