001005870 001__ 1005870 001005870 005__ 20251020105005.0 001005870 0247_ $$2ISSN$$a2150-914x 001005870 037__ $$aRWTH-2025-02065 001005870 041__ $$aEnglish 001005870 1001_ $$0P:(DE-82)IDM06461$$aUnruh, Dominique$$b0$$urwth 001005870 245__ $$aThe Tensor Product on Hilbert Spaces$$honline 001005870 260__ $$aSan Diego, CA$$bSourceForge$$c2024 001005870 300__ $$a146 Seiten 001005870 3367_ $$00$$2EndNote$$aJournal Article 001005870 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal 001005870 3367_ $$2BibTeX$$aARTICLE 001005870 3367_ $$2DRIVER$$aarticle 001005870 3367_ $$2DataCite$$aOutput Types/Journal article 001005870 3367_ $$2ORCID$$aJOURNAL_ARTICLE 001005870 536__ $$0G:(EU-Grant)819317$$aCerQuS - Certified Quantum Security (819317)$$c819317$$fERC-2018-COG$$x0 001005870 536__ $$0G:(Estonian Research Council)PRG946$$aEstonian Research Council PRG946 - Secure Quantum Technology (PRG946)$$cPRG946$$x1 001005870 591__ $$aGermany 001005870 773__ $$0PERI:(DE-600)3210004-8$$pSeptember 10, 2024$$tArchive of formal proofs$$x2150-914x 001005870 8564_ $$uhttps://www.isa-afp.org/entries/Hilbert_Space_Tensor_Product.html$$yFulltext 001005870 909CO $$ooai:publications.rwth-aachen.de:1005870$$pec_fundedresources$$popenaire$$pVDB 001005870 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM06461$$aRWTH Aachen$$b0$$kRWTH 001005870 9141_ $$y2024 001005870 9151_ $$0StatID:(DE-HGF)0041$$2StatID$$aPeer review status of article unknown$$x0 001005870 9201_ $$0I:(DE-82)125910_20230816$$k125910$$lLehrstuhl für Quanteninformationssysteme (Informatik 15)$$x0 001005870 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 001005870 961__ $$c2025-03-07T13:55:06.147137$$x2025-03-07T13:55:06.147137$$z2025-03-07 001005870 980__ $$aI:(DE-82)120000_20140620 001005870 980__ $$aI:(DE-82)125910_20230816 001005870 980__ $$aUNRESTRICTED 001005870 980__ $$aVDB 001005870 980__ $$ajournal