2

Cauchy nets in the constructive theory of apartness spaces
– Douglas Bridges
 2002

7

Apartness spaces as framework for constructive topology
– Douglas Bridges
 2003

2

A Constructive Theory of PointSet Nearness
– Luminita Vita, Douglas Bridges
 2001


Separatedness in Constructive Topology
– Douglas Bridges, et al.
 2003

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

1

Constructive Aspects of the Dirichlet Problem 1
– Douglas Bridges, Wang Yuchuan

6

Constructive Mathematics, in Theory and Programming Practice
– Douglas Bridges, Steve Reeves
 1997


A Tour with Constructive Real Numbers
– Alberto Ciaffaglione, Pietro Di Gianantonio

3

Constructive Closed Range and Open Mapping Theorems
– Douglas Bridges, Hajime Ishihara
 1998

5

Sequential continuity of linear mappings in constructive mathematics
– Hajime Ishihara
 1997

13

A certified, corecursive implementation of exact real numbers
– Alberto Ciaffaglione
 2006


1 Constructive theory of Banach algebras
– Thierry Coquand


WHITHER MATHEMATICS?
– E. B. Davies
 2004

1

Adjoints, absolute values and polar decompositions
– Douglas Bridges, Fred Richman, Peter Schuster, Communicated William, B. Arveson


Did Brouwer Really Believe That?
– Douglas S. Bridges
 2007


1 Solving the Dirichlet problem constructively
– D. S. Bridges, M. Mckubrejordens


Documenta Math. 973 Inheriting the AntiSpecker Property
– Douglas S. Bridges, Communicated Anil Nerode
 2009

3

Constructive Analysis with Witnesses
– Helmut Schwichtenberg


Documenta Math. 597 Characterising WeakOperator Continuous Linear Functionals on B(H) constructively
– Douglas S. Bridges, Communicated Anil Nerode
 2011
