Robin Havea - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2012

Square Roots and Powers in Constructive Banach Algebra TheoryDouglas S. Bridges, Robin Havea. CiE 2012: 68-77 [doi]

2008

Constructive Notions of Maximality for IdealsDouglas S. Bridges, Robin Havea. jucs, 14(22):3648-3657, 2008. [doi]

Separation properties in neighbourhood and quasi-apartness spacesRobin Havea, Hajime Ishihara, Luminita Vîta. mlq, 54(1):58-64, 2008. [doi]

2006

Ideals in constructive Banach algebra theoryDouglas S. Bridges, Robin Havea, Peter Schuster. jc, 22(6):729-737, 2006. [doi]

2005

Approximations to the numerical range of an element of a Banach algebraDouglas S. Bridges, Robin Havea. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

Ideals in Constructive Banach Algebra TheoryDouglas S. Bridges, Robin Havea, Peter Schuster. cca 2005: 65-75

On Firmness of the State Space and Positive Elements of a Banach AlgebraRobin Havea. jucs, 11(12):1963-1969, 2005. [doi]

2001

A Constructive Version of the Spectral Mapping TheoremDouglas S. Bridges, Robin Havea. mlq, 47(3):299-304, 2001. [doi]

2000

A Constructive Analysis of a Proof that the Numerical Range is ConvexDouglas S. Bridges, Robin Havea. lmsjcm, 3:191-206, 2000. [doi]

Sign in or sign up to see more results.

runs on WebDSL