h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Unruh, Dominique
%T The Tensor Product on Hilbert Spaces
%J Archive of formal proofs
%@ 2150-914x
%C San Diego, CA
%I SourceForge
%M RWTH-2025-02065
%P September 10, 2024
%D 2024
%F PUB:(DE-HGF)16
%9 Journal Article
%U https://publications.rwth-aachen.de/record/1005870