OAI/MathematicalPhysics/PEPSFilters/
422 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- Basic.lean 42 declarations
- Bipartite.lean 22 declarations
- Clipping.lean 19 declarations
- CollarWeights.lean 9 declarations
- ContourEnergy.lean 9 declarations
- ContourReduction.lean 7 declarations
- Coordinates.lean 21 declarations
- CrossingEnergy.lean 13 declarations
- EnergyOptimizer.lean 2 declarations
- FilterStationarity.lean 17 declarations
- GeometricOptimizer.lean 1 declarations
- GridCollar.lean 13 declarations
- HamiltonianEnergy.lean 19 declarations
- Interpolation.lean 14 declarations
- JointCoordinates.lean 7 declarations
- JointSpectrum.lean 8 declarations
- LocalOperators.lean 46 declarations
- MarginalLimit.lean 6 declarations
- Phases.lean 10 declarations
- PinnedEntropy.lean 19 declarations
- Regularized.lean 21 declarations
- SchmidtPairing.lean 15 declarations
- SiteBlocks.lean 24 declarations
- SpectralPowers.lean 50 declarations
- UnitaryVariation.lean 8 declarations