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 PointSet 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
