Square Roots and Powers in Constructive Banach Algebra Theory

DOI10.1007/978-3-642-30870-3_8zbMath1357.03092OpenAlexW92874923MaRDI QIDQ2904394

Robin Havea, Douglas S. Bridges

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_8

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) General theory of topological algebras (46H05) Constructive functional analysis (46S30)

This page was built for publication: Square Roots and Powers in Constructive Banach Algebra Theory