Douglas Bridges
机构: University of Canterbury
每年引用次数
引用次数
引用: 5,717
H-指数: 27
I10-指数 : 72
出版物: 96
CONSTRUCTING ULTRAWEAKLY CONTINUOUS FUNCTIONALS ON B(H)
N. F. D. Ward , D. S. Bridges
Proceedings of the American Mathematical Society 126 ( 11) 3347 -3353
1
1998
A Bizarre Property Equivalent to the -Fan Theorem
J. Berger , D. S. Bridges
Logic Journal of The Igpl \/ Bulletin of The Igpl 14 ( 6) 867 -871
6
2006
The Constructive Implicit Function Theorem and Applications in Mechanics
C Calude , B Pavlov , D.S Bridges , D Stefanescu
Department of Computer Science, The University of Auckland, New Zealand
6
1997
Extensions and fixed points of contractive maps in Rn
D.S Bridges , F Richman , W.H Julian , R Mines
Journal of Mathematical Analysis and Applications 165 ( 2) 438 -456
7
1992
The Constructive Implicit Function Theorem and Applications in Mechanics
D.S Bridges , C Calude , B Pavlov , D Stefanescu
CDMTCS Research Reports CDMTCS-070
8
1997
LOCATEDNESS, CONVEXITY, AND LEBESGUE MEASURABILITY
DOUGLAS S. BRIDGES
Quarterly Journal of Mathematics 39 ( 4) 411 -421
4
1988
Constructive Mathematics in Theory and Programming Practice
DOUGLAS BRIDGES , STEEVE REEVES
Philosophia Mathematica 7 ( 1) 65 -104
27
1999
CAUCHY NETS IN THE CONSTRUCTIVE THEORY OF APARTNESS SPACES
Douglas Bridges , Luminita Vita
Scientiae Mathematicae japonicae 56 ( 1) 123 -132
5
2002
Varieties of Constructive Mathematics
Douglas Bridges , Fred Richman
405
1987
Separatedness in Constructive Topology
Douglas Bridges , Luminita
Documenta Mathematica 8 567 -576
3
2003
A Constructive Proof of Gleason's Theorem
Fred Richman , Douglas Bridges
Journal of Functional Analysis 162 ( 2) 287 -312
49
1999
On the Lebesgue measurability of continuous functions in constructive analysis
Osvald Demuth , Douglas Bridges
Bulletin of the American Mathematical Society 24 ( 2) 259 -276
9
1991
Constructive Mathematics and Quantum Physics
Douglas Bridges , Karl Svozil
International Journal of Theoretical Physics 39 ( 3) 503 -515
12
2000
On recursive bounds for the exceptional values in speed-up
Douglas Bridges , Cristian Calude
Theoretical Computer Science 132 ( 1) 387 -394
5
1994
Constructive closed range and open mapping theorems
Douglas Bridges , Hajime Ishihara
Indagationes Mathematicae 11 ( 4) 509 -516
6
2000
Ishihara's proof technique in constructive analysis
Douglas Bridges , Dirk van Dalen , Hajime Ishihara
Indagationes Mathematicae 14 ( 2) 163 -168
8
2003
A fan-theoretic equivalent of the antithesis of Specker's theorem
Josef Berger , Douglas Bridges
Indagationes Mathematicae 18 ( 2) 195 -202
35
2007
Linear mappings are fairly well-behaved
Douglas Bridges , Hajime Ishihara
Archiv der Mathematik 54 ( 6) 558 -562
21
1990
Sets, complements and boundaries
Douglas Bridges , Fred Richman , Wang Yuchuan
Indagationes Mathematicae 7 ( 4) 425 -445
7
1996
Spectra of selfadjoint operators in constructive analysis
Douglas Bridges , Hajime Ishihara
Indagationes Mathematicae 7 ( 1) 11 -35
6
1996