OAI/Analysis/PathSelection/TupleTaylor.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Multivariate moving Taylor expansions and finite tuple-clock composition.

  1. lemma OAI.DegeneratingTrees.MovingTaylor.uniform_changeOrigin_coefficients line 22
  2. theorem OAI.DegeneratingTrees.MovingTaylor.analytic_uniform_moving_taylor line 51
  3. lemma OAI.DegeneratingTrees.Clock.multilinear_tuple_expansion line 127
  4. lemma OAI.DegeneratingTrees.Clock.BoundedExpansionOver.multilinear line 142
  5. lemma OAI.DegeneratingTrees.Clock.tuple_taylor_expBound line 161
  6. theorem OAI.DegeneratingTrees.Clock.ClockGerm.analytic_comp_tuple_finite line 207