OAI/Geometry/PrescribedPotential/BernsteinQuarticAlgebra.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Bernstein Quartic Algebra.

  1. lemma OAI.BernsteinEstimate.quadratic_root_bound line 13
  2. lemma OAI.BernsteinEstimate.weighted_quartic_bound line 21
  3. lemma OAI.BernsteinEstimate.quartic_max_reduction line 48