Complex Bounded Operators

MaRDI QIDQ7361522FDO

Authors José Manuel Rodríguez Caballero, Dominique Unruh

Publication date 18 September 2021

Cites work

• A Really Simple Elementary Proof of the Uniform Boundedness Theorem
• Exploring the foundations of discrete analytical geometry in Isabelle/HOL
• Unnamed Publication
• Unnamed Publication
• Lectures and exercises on functional analysis
• Mechanizing Nonstandard Real Analysis
• Tensor Rank and the Ill-Posedness of the Best Low-Rank Approximation Problem

Cited in

(2)

• Two Theorems on Hermitian Matrices
• The Tensor Product on Hilbert Spaces

This page was built for software: Complex Bounded Operators