A Constructive Analysis of a Proof that the Numerical Range is Convex. - Douglas S. Bridges; Robin Havea (LMS J. Comput. Math., 2000)

A Constructive Version of the Spectral Mapping Theorem. - Douglas S. Bridges; Robin Havea (Math. Log. Q., 2001)

Approximations to the numerical range of an element of a Banach algebra. - Douglas S. Bridges; Robin Havea (From sets and types to topology and analysis, 2005)

On Firmness of the State Space and Positive Elements of a Banach Algebra. - Robin Havea (J. Univers. Comput. Sci., 2005)

Ideals in constructive Banach algebra theory. - Douglas S. Bridges; Robin Havea; Peter Schuster 001 (J. Complex., 2006)

Constructive Notions of Maximality for Ideals. - Douglas S. Bridges; Robin Havea (J. Univers. Comput. Sci., 2008)

Separation properties in neighbourhood and quasi-apartness spaces. - Robin Havea; Hajime Ishihara; Luminita Vîta (Math. Log. Q., 2008)

Square Roots and Powers in Constructive Banach Algebra Theory. - Douglas S. Bridges; Robin Havea (CiE, 2012)