Robin Havea

Publication Activity (10 Years)

Years Active: 2000-2012
Publications (10 Years): 0

Top Venues

Publications

Douglas S. Bridges, Robin Havea
Square Roots and Powers in Constructive Banach Algebra Theory. CiE (2012)
Robin Havea, Hajime Ishihara, Luminita Vîta
Separation properties in neighbourhood and quasi-apartness spaces. Math. Log. Q. 54 (1) (2008)
Douglas S. Bridges, Robin Havea
Constructive Notions of Maximality for Ideals. J. Univers. Comput. Sci. 14 (22) (2008)
Douglas S. Bridges, Robin Havea, Peter Schuster
Ideals in constructive Banach algebra theory. J. Complex. 22 (6) (2006)
Robin Havea
On Firmness of the State Space and Positive Elements of a Banach Algebra. J. Univers. Comput. Sci. 11 (12) (2005)
Douglas S. Bridges, Robin Havea, Peter Schuster
Ideals in Constructive Banach Algebra Theory. CCA (2005)
Douglas S. Bridges, Robin Havea
A Constructive Version of the Spectral Mapping Theorem. Math. Log. Q. 47 (3) (2001)
Douglas S. Bridges, Robin Havea
A Constructive Analysis of a Proof that the Numerical Range is Convex. LMS J. Comput. Math. 3 (2000)