OAI/MathematicalPhysics/ContinuumCoulomb/Programs/VerticalCutoffProgram.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Polynomial-time approximation of the actual transverse cutoff in the manufactured well field. The rational slab width and coordinate are arbitrary.

  1. theorem OAI.ContinuumCoulomb.VerticalCutoffProgram.cutoff_error line 12
  2. abbrev OAI.ContinuumCoulomb.VerticalCutoffProgram.Input line 19
  3. def OAI.ContinuumCoulomb.VerticalCutoffProgram.inputCode line 20
  4. def OAI.ContinuumCoulomb.VerticalCutoffProgram.argument line 21
  5. def OAI.ContinuumCoulomb.VerticalCutoffProgram.value line 22
  6. opaque OAI.ContinuumCoulomb.VerticalCutoffProgram.argumentProgram line 24
  7. opaque OAI.ContinuumCoulomb.VerticalCutoffProgram.program line 32
  8. def OAI.ContinuumCoulomb.VerticalCutoffProgram.certificate line 37
  9. theorem OAI.ContinuumCoulomb.VerticalCutoffProgram.approximation_error line 39