海量图书期刊资源,随时随地畅享阅读乐趣
Complements of Intersections in Constructive MathematicsDouglas S. Bridges; Hajime Ishihara · 1994
A Definitive Constructive Open Mapping Theorem?Douglas Bridges; Hajime Ishihara · 1998
Apartness, compactness and nearnessDouglas Bridges; Hajime Ishihara; Peter M. Schuster; Luminiţa Vîţă · 2008
Spectra of selfadjoint operators in constructive analysisDouglas Bridges; Hajime Ishihara · 1996
Constructive closed range and open mapping theoremsDouglas Bridges; Hajime Ishihara · 2000
Ishihara's proof technique in constructive analysisDouglas Bridges; Dirk van Dalen; Hajime Ishihara · 2003
Almost locatedness in uniform spacesDouglas Bridges; Hajime Ishihara; Ray Mines; Fred Richman; Peter Schuster; Luminiţa Vîţa · Czechoslovak Mathematical Journal · 2007
Facial structure of the trace classJ. -T. Chan · Archiv der Mathematik · 1995
On a conjecture of AzevedoJ. Heinrich · Archiv der Mathematik · 1995
über Summen zahlentheoretischer FunktionenBernd Greuel · Archiv der Mathematik · 1996
Spherical 2-type surfacesT. Hasanis; T. Vlachos · Archiv der Mathematik · 1996
Products of Sylow groupsMichael J. J. Barry; Michael B. Ward · Archiv der Mathematik · 1994
Multiplicative and additive recurrent sequencesCordelia Methfessel · Archiv der Mathematik · 1994
Functional representation of vector lattices IIIsidore Fleischer · Archiv der Mathematik · 1994
On locally symmetric affine hypersurfacesChristine Scharlach; Luc Vrancken · Archiv der Mathematik · 1994