OAI/Geometry/Convex/GeneralMahler/Middle/Cells.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Adaptive grid interpolation verification.

  1. def OAI.GeneralMahler.SCal.Mid.wlt0 line 10
  2. def OAI.GeneralMahler.SCal.Mid.berr line 11
  3. def OAI.GeneralMahler.SCal.Mid.gtwt line 12
  4. def OAI.GeneralMahler.SCal.Mid.ckF line 14
  5. def OAI.GeneralMahler.SCal.Mid.quad line 16
  6. def OAI.GeneralMahler.SCal.Mid.vac line 19
  7. def OAI.GeneralMahler.SCal.Mid.stepCheck line 22
  8. def OAI.GeneralMahler.SCal.Mid.quadRun line 23
  9. def OAI.GeneralMahler.SCal.Mid.limk line 28
  10. lemma OAI.GeneralMahler.SCal.Mid.ckval line 29
  11. def OAI.GeneralMahler.SCal.Mid.InRegion line 44
  12. lemma OAI.GeneralMahler.SCal.Mid.vacC line 47
  13. lemma OAI.GeneralMahler.SCal.Mid.chord_U line 56
  14. lemma OAI.GeneralMahler.SCal.Mid.quadCV line 81
  15. lemma OAI.GeneralMahler.SCal.Mid.quadR line 97