Database
COMPLEX HILBERT SPACE EXPLORER (DEPRECATED)
Inner product and norms
Bunjakovaskij-Cauchy-Schwarz inequality
Next ⟩
bcsiALT
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 19.2.4. Bunjakovaskij-Cauchy-Schwarz inequality
bcsiALT
bcsiHIL
bcs
bcs2
bcs3