OAI/Geometry/SurfaceImmersion/Correction/PeriodicCorrectorFormula.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Explicit formulas for the canonical angular correction.

  1. def OAI.ClosedSurfaceR4.JetPolynomial.angularSourceFunction line 15

    Source documentation

    The right-hand side of the normal covariance equation.

    def angularSourceFunction (Y C X₀ : E) (V : C(Period, E))
    (h K e : ℝ → ℝ) (t : ℝ) : ℝ :=
…
  2. def OAI.ClosedSurfaceR4.JetPolynomial.angularCorrectionFunction line 20