h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Unruh, Dominique
TI  - The Tensor Product on Hilbert Spaces
JO  - Archive of formal proofs
SN  - 2150-914x
CY  - San Diego, CA
PB  - SourceForge
M1  - RWTH-2025-02065
SP  - September 10, 2024
PY  - 2024
LB  - PUB:(DE-HGF)16
UR  - https://publications.rwth-aachen.de/record/1005870
ER  -