Documentation

LeanPool.NashEmbedding.NashEmbedding

return to top

source

Imports

Init
LeanPool.NashEmbedding.NashEmbedding.Compact.AmbientMetric
LeanPool.NashEmbedding.NashEmbedding.Compact.Main
LeanPool.NashEmbedding.NashEmbedding.Compact.Periodization
LeanPool.NashEmbedding.NashEmbedding.Compact.WhitneyExtension
LeanPool.NashEmbedding.NashEmbedding.Examples.FlatTorus
LeanPool.NashEmbedding.NashEmbedding.Examples.Negative
LeanPool.NashEmbedding.NashEmbedding.Examples.Sphere
LeanPool.NashEmbedding.NashEmbedding.Riemannian.Induced
LeanPool.NashEmbedding.NashEmbedding.Riemannian.Pullback
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Basic
LeanPool.NashEmbedding.NashEmbedding.Sobolev.CoeffTransport
LeanPool.NashEmbedding.NashEmbedding.Sobolev.CompactInclusion
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Convolution
LeanPool.NashEmbedding.NashEmbedding.Sobolev.ConvolutionAlgebra
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Differentiation
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Distribution
LeanPool.NashEmbedding.NashEmbedding.Sobolev.FourierSynthesis
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Inequalities
LeanPool.NashEmbedding.NashEmbedding.Sobolev.IntegrationByParts
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Limits
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Mollifier
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Multiplication
LeanPool.NashEmbedding.NashEmbedding.Sobolev.MultiplicationBootstrap
LeanPool.NashEmbedding.NashEmbedding.Sobolev.MultiplicationSharp
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Parseval
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Periodicity
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Periodization
LeanPool.NashEmbedding.NashEmbedding.Sobolev.PositionSpace
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Resolvent
LeanPool.NashEmbedding.NashEmbedding.Sobolev.RiemannSum
LeanPool.NashEmbedding.NashEmbedding.Sobolev.Summability
LeanPool.NashEmbedding.NashEmbedding.Sobolev.SynthesisRegularity
LeanPool.NashEmbedding.NashEmbedding.Torus.Assembly
LeanPool.NashEmbedding.NashEmbedding.Torus.Basic
LeanPool.NashEmbedding.NashEmbedding.Torus.FreeEmbedding
LeanPool.NashEmbedding.NashEmbedding.Torus.Main
LeanPool.NashEmbedding.NashEmbedding.Torus.RealizableMetrics
LeanPool.NashEmbedding.NashEmbedding.Torus.Approximation.BumpConstruction
LeanPool.NashEmbedding.NashEmbedding.Torus.Approximation.RealizeMetric
LeanPool.NashEmbedding.NashEmbedding.Torus.Approximation.SmoothMetricApprox
LeanPool.NashEmbedding.NashEmbedding.Torus.Perturbation.DualFrame
LeanPool.NashEmbedding.NashEmbedding.Torus.Perturbation.GuntherIdentity
LeanPool.NashEmbedding.NashEmbedding.Torus.Perturbation.GuntherIdentitySeq
LeanPool.NashEmbedding.NashEmbedding.Torus.Perturbation.GuntherIteration
LeanPool.NashEmbedding.NashEmbedding.Torus.Perturbation.GuntherOperator
LeanPool.NashEmbedding.NashEmbedding.Torus.Perturbation.Main
LeanPool.NashEmbedding.NashEmbedding.Torus.Perturbation.SeqVector

Imported by