OAI/MathematicalPhysics/NavierStokes/BalancedTransport/NumericAlgebra.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Effectivity.NumericOp.computable_dual line 10
  2. lemma OAI.BalancedTransport.Effectivity.NumericProgram.computable_jetStep line 30
  3. def OAI.BalancedTransport.Effectivity.NumericProgram.literal line 40
  4. def OAI.BalancedTransport.Effectivity.NumericProgram.coordinate line 42
  5. def OAI.BalancedTransport.Effectivity.NumericProgram.unary line 44
  6. def OAI.BalancedTransport.Effectivity.NumericProgram.binary line 46
  7. lemma OAI.BalancedTransport.Effectivity.NumericProgram.literal_closed line 49
  8. lemma OAI.BalancedTransport.Effectivity.NumericProgram.literal_valid line 51
  9. lemma OAI.BalancedTransport.Effectivity.NumericProgram.literal_real line 54
  10. lemma OAI.BalancedTransport.Effectivity.NumericProgram.coordinate_closed line 57
  11. lemma OAI.BalancedTransport.Effectivity.NumericProgram.coordinate_valid line 59
  12. lemma OAI.BalancedTransport.Effectivity.NumericProgram.coordinate_real line 62
  13. lemma OAI.BalancedTransport.Effectivity.NumericProgram.unary_real line 65
  14. lemma OAI.BalancedTransport.Effectivity.NumericProgram.unary_valid line 69
  15. lemma OAI.BalancedTransport.Effectivity.NumericProgram.unary_closed line 74
  16. lemma OAI.BalancedTransport.Effectivity.NumericProgram.realFrom_head line 81
  17. lemma OAI.BalancedTransport.Effectivity.NumericProgram.binary_real line 85
  18. lemma OAI.BalancedTransport.Effectivity.NumericProgram.binary_register_left line 96
  19. lemma OAI.BalancedTransport.Effectivity.NumericProgram.binary_register_right line 104
  20. lemma OAI.BalancedTransport.Effectivity.NumericProgram.binary_valid line 109
  21. lemma OAI.BalancedTransport.Effectivity.NumericProgram.binary_closed line 116
  22. lemma OAI.BalancedTransport.Effectivity.NumericProgram.binary_add_real line 127
  23. lemma OAI.BalancedTransport.Effectivity.NumericProgram.binary_mul_real line 132