|
2
|
Cauchy nets in the constructive theory of apartness spaces
– Douglas Bridges
- 2002
|
|
2
|
A Constructive Theory of Point-Set Nearness
– Luminita Vita, Douglas Bridges
- 2001
|
|
7
|
Apartness spaces as framework for constructive topology
– Douglas Bridges
- 2003
|
|
|
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
|
|
6
|
Constructive Mathematics, in Theory and Programming Practice
– Douglas Bridges, Douglas Bridges, Steve Reeves, 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
|
|
9
|
A certified, corecursive implementation of exact real numbers
– Alberto Ciaffaglione
- 2006
|
|
|
WHITHER MATHEMATICS?
– E. B. Davies
- 2004
|
|
1
|
Adjoints, absolute values and polar decompositions
– Douglas Bridges, Fred Richman, Peter Schuster, Communicated William, B. Arveson
|
|
2
|
Constructive Analysis with Witnesses
– Helmut Schwichtenberg
|
|
2
|
PLURALISM IN MATHEMATICS
– E. B. Davies
- 2004
|
|
|
Did Brouwer Really Believe That?
– Douglas S. Bridges
- 2007
|
|
|
History of Constructivism in the 20th Century
– A.S. Troelstra
|
|
|
A Constructive Theory of Euclidean Geometry: The first twenty-eight theorems
– D. E. Stevenson
- 1995
|
|
|
Computable p-adic Numbers
– George Kapoulas, George Kapoulas
- 1999
|
|
|
m Solutions Good, m-1 Solutions Better
– Luc Longpre, William Gasarch, G. William Walster, Vladik Kreinovich
- 2000
|
