Uniqueness, continuity and the existence of implicit functions in constructive analysis
Uniqueness, continuity and the existence of implicit functions in constructive analysis
复制标题
构造分析中的唯一性、连续性和隐函数的存在性
DOI：
10.1112/s1461157010000057
复制
发表时间：
2011
影响因子：
--
通讯作者：
Diener H
中科院分区：
文献类型：
--
作者：
Diener H
登录
查看更多内容
构造性数学的种类：构造性代数
DOI：
--
发表时间：
1987
期刊：
影响因子：
--
作者：
D. Bridges;F. Richman
通讯作者：
F. Richman
构造性和经典集合论中的选择原则
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
M. Rathjen
通讯作者：
M. Rathjen
构造分析中隐函数的唯一性、连续性和存在性
DOI：
--
发表时间：
2009
期刊：
International Conference on Computability and Complexity in Analysis
影响因子：
--
作者：
H. Diener;P. Schuster
通讯作者：
P. Schuster
扇形定理与极大值的唯一存在性
DOI：
--
发表时间：
2006
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
J. Berger;D. Bridges;P. Schuster
通讯作者：
P. Schuster
DOI：
--
发表时间：
2000
期刊：
影响因子：
--
作者：
F. Richman
通讯作者：
F. Richman