|
2
|
Locating the range of an operator on a Hilbert space
– Douglas Bridges, Hajime Ishihara
- 1992
|
|
3
|
Constructive Closed Range and Open Mapping Theorems
– Douglas Bridges, Hajime Ishihara
- 1998
|
|
1
|
Constructive Mathematics and Quantum Physics
– Douglas Bridges, Karl Svozil
- 1999
|
|
2
|
Constructive Completions of Ordered Sets, Groups and Fields
– Erik Palmgren
- 2003
|
|
|
WHITHER MATHEMATICS?
– E. B. Davies
- 2004
|
|
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
|
|
2
|
Constructive Analysis with Witnesses
– Helmut Schwichtenberg
|
|
2
|
PLURALISM IN MATHEMATICS
– E. B. Davies
- 2004
|
|
|
Did Brouwer Really Believe That?
– Douglas S. Bridges
- 2007
|
|
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
|
|
11
|
A Constructive Proof of Gleason’s Theorem
– Fred Richman, Douglas Bridges
- 1999
|
|
|
Non-constructive aspects of topology
– Erik Palmgren, U Vi
- 2008
|
|
1
|
Real numbers and other completions
– Fred Richman
- 2007
|
|
|
LOCATEDNESS AND OVERT SUBLOCALES
– unknown authors
- 2009
|
|
|
COMPUTABLE SETS: LOCATED AND OVERT LOCALES
– Thierry Coquand, Bas Spitters
- 2007
|
