Robin Havea

According to our database, Robin Havea authored at least 8 papers between 2000 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Square Roots and Powers in Constructive Banach Algebra Theory.

Douglas S. Bridges, Robin Havea

Proceedings of the How the World Computes, 2012

2008

Separation properties in neighbourhood and quasi-apartness spaces.

Robin Havea, Hajime Ishihara, Luminita Vîta

Math. Log. Q., 2008

Constructive Notions of Maximality for Ideals.

Douglas S. Bridges, Robin Havea

J. Univers. Comput. Sci., 2008

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

Proceedings of the CCA 2005, 2005

Approximations to the numerical range of an element of a Banach algebra.

Douglas S. Bridges, Robin Havea

Proceedings of the From sets and types to topology and analysis, 2005

2001

A Constructive Version of the Spectral Mapping Theorem.

Douglas S. Bridges, Robin Havea

Math. Log. Q., 2001

2000

A Constructive Analysis of a Proof that the Numerical Range is Convex.

Douglas S. Bridges, Robin Havea

LMS J. Comput. Math., 2000