OAI/Geometry/RuledCovering/EnergyIntegral.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RuledApproximation.ceilingPolynomial_integral line 12
2. def OAI.RuledApproximation.angularEnergy line 25
3. lemma OAI.RuledApproximation.angularEnergy_continuous line 28
4. lemma OAI.RuledApproximation.angularEnergy_integral line 32
5. lemma OAI.RuledApproximation.singularEnergy_polar line 50
6. lemma OAI.RuledApproximation.singularEnergy_slice_integral line 72
7. lemma OAI.RuledApproximation.singular_radial_integral line 91
8. lemma OAI.RuledApproximation.singularEnergy_integral line 101
9. lemma OAI.RuledApproximation.singular_exact_coefficient line 127
10. lemma OAI.RuledApproximation.energyCorrection_integrable line 136
11. lemma OAI.RuledApproximation.singular_weighted_integral_expansion line 142