Constructive Closed Range and Open Mapping Theorems (1998)

Cached

Download Links

by Douglas Bridges , Hajime Ishihara
Venue:Indag. Math. N.S
Citations:3 - 2 self

Active Bibliography

3 Locating Subsets Of A Hilbert Space – Hajime Ishihara - 1998
A Constructive Study of Landau's . . . – Josef Berger, Douglas Bridges - 2009
1 Constructive Aspects of the Dirichlet Problem 1 – Douglas Bridges, Wang Yuchuan
2 Locating the range of an operator on a Hilbert space – Douglas Bridges, Hajime Ishihara - 1992
1 The inversion problem for computable linear operators – Vasco Brattka, Theoretische Informatik I - 2003
15 Constructive Reals in Coq: Axioms and Categoricity – Herman Geuvers, Milad Niqui
3 Sequentially Continuous Linear Mappings in Constructive Analysis – Douglas Bridges, Ray Mines - 1996
1 Adjoints, absolute values and polar decompositions – Douglas Bridges, Fred Richman, Peter Schuster, Communicated William, B. Arveson
2 Cauchy nets in the constructive theory of apartness spaces – Douglas Bridges - 2002
2 Constructive Order Completeness – Marian Alexandru Baroni - 2004
2 A Constructive Theory of Point-Set Nearness – Luminita Vita, Douglas Bridges - 2001
3 The Constructive Implicit Function Theorem and Applications in Mechanics – Douglas Bridges, Cristian Calude, Boris Pavlov, Doru Stefanescu, D. Bridges, C. Calude, B. Pavlov - 1997
Separatedness in Constructive Topology – Douglas Bridges, et al. - 2003
7 Apartness spaces as framework for constructive topology – Douglas Bridges - 2003
LOCATEDNESS AND OVERT SUBLOCALES – unknown authors - 2009
1 Computable versions of the uniform boundedness theorem – Vasco Brattka - 2006
5 Sequential continuity of linear mappings in constructive mathematics – Hajime Ishihara - 1997
1 Constructive Mathematics and Quantum Physics – Douglas Bridges, Karl Svozil - 1999
12 A Constructive Proof of Gleason’s Theorem – Fred Richman, Douglas Bridges - 1999