54

Constructive analysis. Grundlehren der mathematischen Wissenschaften
– Errett Bishop, Douglas Bridges

13

Continuity and nondiscontinuity in constructive mathematics
– H Ishihara
 1991

6

A constructive version of Banach's inverse mapping theorem
– H Ishihara
 1994

5

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

2

Sequential, pointwise, and uniform continuity: A constructive note
– Douglas Bridges
 1993

1

On weak operator compactness of the unit ball of L(H)”, Zeit
– Douglas Bridges
 1978

1

and Luminit¸a Dediu, “Weak–operator continuity and the existence of adjoints
– Douglas Bridges
 1999

1

Adjoints and the image of the ball”, preprint
– Fred Richman

230

Computable Analysis
– K Weihrauch
 2000

90

Fundamentals of the theory of operator algebras, Vols
– R V Kadison, J R Ringrose
 1997

5

A constructive treatment of open and unopen mapping theorems
– D Bridges, W Julian, R Mines
 1989

2

Absolute continuity and the uniqueness of the constructive functional calculus
– Douglas Bridges, Hajime Ishihara
 1995

2

Locating the range of an operator on a Hilbert space
– Douglas Bridges, Hajime Ishihara
 1992

3

A de constructive open mapping theorem
– D Bridges, H Ishihara
 1998

1

A critical analysis of Banach's Open Mapping Theorem ", Northeastern University
– Gabriel Stolzenberg
 1971

2

Aspects of constructive analysis
– H L Royden
 1985

8

A constructive look at positive linear functionals on L(H
– D Bridges
 1981

22

Constructive mathematics: A foundation for computable analysis
– D S Bridges
 1999

6

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