|
3
|
Locating Subsets Of A Hilbert Space
– Hajime Ishihara
- 1998
|
|
|
A Constructive Study of Landau's . . .
– Josef Berger, Douglas Bridges
- 2009
|
|
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
|
|
13
|
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
|
|
2
|
Uniform smoothness entails Hahn-Banach
– Edmond Albius, Marianne Morillon
|
|
1
|
Computable versions of the uniform boundedness theorem
– Vasco Brattka
- 2006
|
|
5
|
Sequential continuity of linear mappings in constructive mathematics
– Hajime Ishihara
- 1997
|
|
|
DSGE AND BEYOND – COMPUTABLE AND CONSTRUCTIVE CHALLENGES ♠
– K. Vela Velupillai
- 2011
|
|
4
|
"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory
– Jeremy Avigad, Erich H. Reck
- 2001
|
