OAI/Analysis/NodalLength/
1379 declarations, 0 contain sorry, 0 declared as axioms; 59 files
Files
- AffineError.lean 43 declarations
- Carleman.lean 34 declarations
- Cells.lean 37 declarations
- ChartTransfer.lean 4 declarations
- Commutator.lean 28 declarations
- CompactCover.lean 2 declarations
- ComplexDerivatives.lean 36 declarations
- Conductivity.lean 20 declarations
- ConformalLength.lean 5 declarations
- Cutoffs.lean 18 declarations
- Decomposition.lean 20 declarations
- Descent.lean 12 declarations
- Distributional.lean 23 declarations
- Divisors.lean 10 declarations
- Eigenfunctions.lean 12 declarations
- Elliptic.lean 78 declarations
- Energy.lean 30 declarations
- Excursions.lean 29 declarations
- FrequencyGap.lean 8 declarations
- GlobalProfiles.lean 7 declarations
- GradientAnchors.lean 15 declarations
- GradientCones.lean 7 declarations
- GridImprovement.lean 31 declarations
- GridPaths.lean 24 declarations
- HolomorphicGradient.lean 23 declarations
- HolomorphicLength.lean 7 declarations
- Integration.lean 28 declarations
- InteriorMass.lean 20 declarations
- Isothermal.lean 11 declarations
- Lattice.lean 19 declarations
- LocalLength.lean 17 declarations
- LogGradients.lean 34 declarations
- Main.lean 1 declarations
- MassComparison.lean 35 declarations
- MetricFamilies.lean 46 declarations
- MetricFlux.lean 31 declarations
- Model.lean 8 declarations
- Multipliers.lean 41 declarations
- NodalGraphs.lean 17 declarations
- Normalization.lean 29 declarations
- NormalizedCharts.lean 20 declarations
- Parametrix.lean 41 declarations
- Persistence.lean 12 declarations
- PlaneLength.lean 8 declarations
- Potential.lean 35 declarations
- ProfileExtraction.lean 35 declarations
- ProfileTests.lean 58 declarations
- RegularWeights.lean 23 declarations
- Regularization.lean 34 declarations
- RieszMeasure.lean 9 declarations
- ScaledWaves.lean 34 declarations
- Similarity.lean 15 declarations
- StoppedTrees.lean 17 declarations
- Subdivision.lean 23 declarations
- Subharmonic.lean 18 declarations
- SupportLimits.lean 28 declarations
- TerminalGrid.lean 49 declarations
- Vitali.lean 10 declarations
- WitnessPacking.lean 10 declarations