PhyslibSearchPhyslibby

Libraries

ClassicalFieldTheory14 ClassicalMechanics683 CondensedMatter33 Cosmology68 Electromagnetism419 FluidDynamics66 Mathematics1117 Meta99 Particles1394 ProbabilisticTheory66 QFT1491 QuantumMechanics1219 Relativity2237 SpaceAndTime1048 StatisticalMechanics192 StringTheory254 Thermodynamics51 Units391

AlgebraicFramework2429 ClassicalFieldTheory190 ClassicalMechanics331 CondensedMatter363 Electromagnetism22 Mathematics530 Particles116 ProbabilisticTheory2990 QuantumMechanics250 Relativity60 SpaceAndTime99

Filter by Kind

TheoremDefinitionStructureInductiveClassInstanceAbbreviationAxiomOpaqueProof Wanted

Browse›PhyslibAlpha›AlgebraicFramework›HilbertSpace›Unbounded

PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded

0 declarations · 20 submodules

Submodules

AnalyticVector108 Basic20 BoundedIntegral26 BoundedIntegralAlgebra16 BoundedSelfAdjointData4 Cayley67 CayleySpectralData51 Conjugation11 EssentialSpectrum18 Existence56 Flow12 RealAnalytic4 ScalarMeasure21 SelfAdjointSpectralTheorem21 SpectralIntegral113 SpectralPointMass1 Stone16 StoneUnitaryGroup22 UnitaryInfra133 WeakIntegral6

PhyslibSearch · powered by Physlib & Gemini embeddings